谁先说了下面的话？monad只是内函子的范畴问题另一个不太重要的问题是，这是真的吗？如果是的话，你能给出一个解释吗？

我发誓曾经有一件t恤上印着不朽的文字:哪部分你不明白吗?就我而言，答案是……全部!特别是，我经常在Haskell的论文中看到这样的符号，但我不知道它的任何含义。我不知道这应该是数学的哪个分支。我当然认

在最近简要回顾了Haskell之后，对于monad本质上是什么，有什么简单、简洁、实用的解释？我发现，我遇到的大多数解释都很难理解，而且缺乏实际细节。