fun x y z = f g z