问题描述#
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)?
提示词#
None