(fun x -> 4 + (fun x -> x * 7) x) 9