> This is one of the reasons why programming with Monads is so powerful: the programmer can explicitly compose and control effects. Yes, it's true, but lest an

> This is one of the reasons why programming with Monads is so powerful: the programmer can explicitly compose and control effects. Yes, it's true, but lest anyone come away confused by this statement, monads are about much more than effects. I understand that's not what you're saying here, but my first months of dabbling in Haskell were marked by a deep misunderstanding that monads were used for side effects, and nothing more.