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 (