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.)

    (>>=) :: M a -> (a -> M b) -> M b

The `a` is bound in the second argument.