最佳答案
下面是谁先说的?
单模只是单模中的一个内函子的类别,什么是有问题吗?
在不太重要的一点上,这是真的吗?如果是真的,你能给出一个解释吗(希望一个没有太多Haskell经验的人可以理解的解释)?