(fun x -> (fun y -> fun z -> x + y * z) 2) 3 4