NonEmpty不是Comonad吗？
NonEmpty不是Comonad吗？ - | 为什么semigroups包...