Illformed infix definitions in backends

[kmemarian]

The definition of infix functions is missing parens in the backends (at least in OCaml):

let (>>=) m f = ...

gets turned into:

let >>= m f:'a= ...