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)?