[williamdclt]

It helps to think of a monad as just a monoid in the category of endofunctors, with product × replaced by composition of endofunctors and unit set by the identity endofunctor