The documentation is missing * monad interface specification * transformers * explanation and examples about existing monads
The documentation is missing