When I was figuring out what a monad was the biggest impediments were: 1) Superfluous analogies 2) Usage of do-syntax rather than bind and return. Do-syntax,

When I was figuring out what a monad was the biggest impediments were: 1) Superfluous analogies 2) Usage of do-syntax rather than bind and return. Do-syntax, which sweeps the best example of how a monad _actually_ works under the rug, used in conjunction with the phrase "inside a monad", can cause beginners over-complicate and mysticize the idea of a monad. I have not yet read the above tutorial, but the best one I have seen to date is http://ertes.de/articles/monads.html http://ertes.de/articles/monads.html