/

• monad
• haskell
• a monad is a monoid in the category of endofunctors, what's the problem?