La seconde (dernière) expression retarde l'évaluation jusqu'à ce que le premier (les deux) argument(s) soi(ent) fourni(s). Cela peut aussi délaisser ou dupliquer certains calculs:

let f x = print_int x; fun y -> x + y;; let test f = let f1 = f 1 in f1 2 + f1 3;;
test f;;
1- : int = 7
test (fun x y -> f x y);;
11- : int = 7