Based on a few recent comments and PRs, I thought it might be a good time to revive the idea of adding some support for "monadic" syntax to OCaml. I can't find the last attempt at this on GitHub or...