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.