(fun f -> f 1) (fun x -> x)