A monad is a type of monoid in the category of endofunctors.