小编dro*_*ron的帖子

1. monad 被定义为类别 C 上的内函子。假设 C 具有类型 int 和 bool 以及其他构造类型作为对象。现在让我们考虑在这个类别上定义的列表 monad。

根据它的定义，list 是一个内函子，它将一个 int 类型映射（这可以解释为一个函数吗？） > bool 到 List[int] -> List[bool]

所以，到目前为止，这是有道理的。但让我深感困惑的是需要伴随它的自然变换的附加定义：单元...将 int 转换为 List[int]（List 仿函数的定义不是已经暗示了这一点吗？这是我的一个主要困惑

湾 List 函子是否总是必须被理解为从 int 到 List[int] 而不是从 int 到 List[bool] 的映射？

C。单位自然变换 int 到 List[int] 与定义 List 作为函子隐含的从 int 到 List[int] 的映射不同吗？我想这只是我之前问题的重述。