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