First wave: don't think of monads as monoids in the category of endofunctors. No, Monads are burritos, programmable semicolons, design patterns etc. 2nd wave,

First wave: don't think of monads as monoids in the category of endofunctors. No, Monads are burritos, programmable semicolons, design patterns etc. 2nd wave, monad tutorial fallacy, red herring, don't read/write monad tutorials, they just sort of grow on you! e.g. http://www.haskell.org/haskellwiki/Monad_tutorials_timeline http://www.haskell.org/haskellwiki/Monad_tutorials_timeline http://news.ycombinator.com/item?id=336085 http://news.ycombinator.com/item?id=336085 http://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/ http://byorgey.wordpress.com/2009/01/12/abstraction-intuitio... http://news.ycombinator.com/item?id=1534405 http://news.ycombinator.com/item?id=1534405 http://news.ycombinator.com/item?id=1997341 http://news.ycombinator.com/item?id=1997341