标签： haskell category-theory
为什么semigroups包中的NonEmpty列表也不是comonad类的实例？
答案 0 :(得分：6)
是的。该实例刚刚在comonad包中定义，而不是semigroups包，
http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad