Monads become a lot more straightforward when you realise that they're just a way of making the semicolon programmable. No need for any nonsense metaphors: the

Monads become a lot more straightforward when you realise that they're just a way of making the semicolon programmable. No need for any nonsense metaphors: the bind operation in monads is just a programmable semicolon.