(Alternatively, with NIL := FALSE, the construct l (λh.λt.λz.deal_with_head_h_and_tail_t) (deal_with_nil) obviates the need for an explicit NULL test).
(Алтернативно, са NIL := FALSE, конструкција l (λh.λt.λz.deal_with_head_h_and_tail_t) (deal_with_nil) уклања потребу за експлицитним NULL тестом.