What the #@(% are Monads? (a beginner's guide)

A monad is just a monoid in the category of endofunctors. Oh... you aren't fluent in the arcane...