(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. περίπτωση_κεφαλής_h_και_ουράς_t) (περίπτωση_nil), δεν υπάρχει ανάγκη για ορισμό του NULL).