A monad is just a monoid in the category of endofunctors, what’s the problem?
Who first said the following? A monad is just a monoid in the category of endofunctors, what’s the problem? And on a less important note, is this true and if so could you give an explanation (hopefully one that can be understood by someone who doesn’t have much Haskell experience)? 5 s 5