If you really want left-to-right evaluation order in ocaml, use camlp4 
to change the syntax with a postfix function application (with the 
argument to the left).

That will be homogenous with type application !

:-)

or with a right-associtive operator if you do not like camlp4:

# let (@) x f = f x
val ( @ ) : 'a -> ('a -> 'b) -> 'b = <fun>
# 1 @ 2 @ (+)
- : int = 3