This recalled me a joke on monads: "A monad is just a monoid in the category of endofunctors, what's the problem?" [0] [0]: http://james-iry.blogspot.com/2009/

This recalled me a joke on monads: "A monad is just a monoid in the category of endofunctors, what's the problem?" [0] [0]: http://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m..., 1990 Haskell entry