Místo toho, abychom funkce definovali pomocí rovnic, je můžeme definovat také „anonymně“ pomocí lambda abstrakcí. Například funkci ekvivalentní inc můžeme psát jako \x -> x+1. Podobně funkce add je ekvivalentní \x -> \y -> x+y. Vnořené lambda abstrakce podobné této se mohou zkrátit ekvivalentní notací \x y -> x+y. Rovnice jako:

inc x                  = x+1
add x y                = x+y

jsou vlastně zkráceným zápisem pro:

inc                    = \x   -> x+1
add                    = \x y -> x+y

O takových ekvivalencích si povíme více později.

Obecně máme-li x typu t1 a exp má typ t2, potom \x->exp má typ t1->t2.