Haskell-style monad syntax extension for OCaml