应用组成，单子不组成。 上述声明是什么意思？什么时候一个比另一个更可取？...

为什么当我们有 时，没有（严格）单子的实例化，如 中所述？我以为它应该是一种代表现实本身的神奇类型。IOStateRealWorldControl.Monad.STRealWorld 我的意思是，回...

我研究了这个，试图理解几个变压器单子是如何相互作用的，特别是更好地理解单子并堆叠在一起。lift 对于这里找到的 RWST 单子（我认为这是最好的文档），它是一个堆叠的单子，其中 Reader、Wr...