小编Mic*_*hta的帖子

我最近正在学习猫库，并且遇到过名为NonEmptyList的此类。

阅读了api之后，我不禁想知道是什么使猫的作者创建了一个新类，而不是利用内置的（：:)并使用类型类对其进行扩展。它甚至没有在cats github页面上列出，所以我来这里问这个问题。也许是因为cons是List的子类型？（尽管我不知道它的含义）

::和NEL有什么区别？为什么猫的作者不得不写NEL而不是使用::？