(fun x -> x) (fun y -> y) (fun z -> z) 2