Smaller computations are being bound into a larger computation, where the monad provides the the code that is executed 'between the lines'. (BTW, my own take o

Smaller computations are being bound into a larger computation, where the monad provides the the code that is executed 'between the lines'. (BTW, my own take on renaming a monad into something less scary is daisychain, or, slightly more to-the-point, chainable.)