Monadic let-bindings for OCaml
