Yeah it's "A monad is just a monoid in the category of endofunctors" rehashed for the millionth time.