In Haskell there is a kind of syntactic sugar called "do-notation" that simplifies working with monadic code and is bolted onto the core of the language. But it

In Haskell there is a kind of syntactic sugar called "do-notation" that simplifies working with monadic code and is bolted onto the core of the language. But it is not necessary, you can program with monads without it. "It it seems like monads get created when a pain point of a language is so often, and so consistently worked around in the same fashion" Well, pretty much. Here is a post about that: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html http://blog.sigfpe.com/2006/08/you-could-have-invented-monad... Then there is the mathematical aspect to them, that can point to unexpected connections and new possibilities for abstraction.