I have this library: https://github.com/Chattered/ocaml-monad https://github.com/Chattered/ocaml-monad and use it regularly when writing Ocaml. I'd like to ge

I have this library: https://github.com/Chattered/ocaml-monad https://github.com/Chattered/ocaml-monad and use it regularly when writing Ocaml. I'd like to get back to it and try to implement some MTL style interfaces (MonadState etc...). Edward Kmett says this is not likely to work, but that sounded like a wager to me.