NonEmpty不是Comonad?

use*_*370 1 haskell category-theory

为什么semigroups包中的NonEmpty列表也不是comonad类的实例?

scl*_*clv 6

它是.该实例刚刚在comonad包中定义,而不是semigroups包,

http://hackage.haskell.org/packages/archive/comonad/1.1.0/doc/html/Control-Comonad.html#t:Comonad