fun x y z = f x x y z