let f y x z = z x (z x y y)

y: 'a
x: 'a -> 'b
z: 'b -> 'a -> 'a

so:
f: 'a -> ('a -> 'b) -> ('b -> 'a -> 'a) -> 'a