(fun x -> x + 3) 6