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