Monad

A monad is a monoid in the category of endofunctors. This article is a stub. Help us out by expanding it.