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;;