fun x y z = f x y z