Почему списки различий не являются экземплярами складных?
пакет dlist содержитDList
тип данных, который имеет много экземпляров, но неFoldable
или жеTraversable
, На мой взгляд, это два самых «похожих на список» класса типов. Есть ли причина производительности, котораяDList
не является экземпляром этих классов?
Кроме того, пакет действительно реализуетfoldr
а такжеunfoldr
, но ни одна из других функций складывания.