Haskell 非空的isn'；不是科摩纳德吗？
为什么半群包中的非空列表不也是comonad类的实例？的确如此。实例只是在comonad包中定义的，而不是在半群包中定义的Haskell 非空的isn'；不是科摩纳德吗？,haskell,category-theory,Haskell,Category Theory,为什么半群包中的非空列表不也是comonad类的实例？的确如此。实例只是在comonad包中定义的，而不是在半群包中定义的 是的。实例只是在comonad包中定义的，而不是在半群包中定义的 这就是我所说的答案！这就是我所说的答案！
是的。实例只是在comonad包中定义的，而不是在半群包中定义的
这就是我所说的答案！这就是我所说的答案！