Thanks a lot.
Drup, the creator of this lib means:
that’s only for lwt, not for all monads, and it’s not really a do notation
Yaron Minsky means Reason solves a lot of the syntax issues of OCaml: