> is OK but > f (g x > y z) > is not. It seems to me that this means f x1 x2 x3 x4 is not. The OP was initially asking about this situation.