87 得分

具体的例子表明单子是不封闭的合成(有证据) ？

86 得分

在 Layman 的术语中，泵引理是什么？

85 得分

如何阅读这个 GHC 核心的“证明”？