> OCaml makes monads almost invisible. That is not true at all. If you have worked with any monadic data structure that is not hardcoded into the compiler (lik

> OCaml makes monads almost invisible. That is not true at all. If you have worked with any monadic data structure that is not hardcoded into the compiler (like List) for example Lwt you would see how tedious handling monads is. So tedious that not one but four syntax extensions exist to make it less boilerplate heavy (pa_lwt, lwt.ppx, pa_monad, omonad).