Obviously a monad is a monoid in the category of endofunctors. Surprised this perplexes people.

Sorry couldn't resist.