Warum sind Differenzlisten keine faltbare Instanz?
Dasdlist package enthält dieDList
Datentyp, der viele Instanzen hat, aber nichtFoldable
oderTraversable
. In meinen Augen handelt es sich hierbei um zwei der "listenartigsten" Typklassen. Gibt es einen Leistungsgrund dafür?DList
ist nicht eine Instanz dieser Klassen?
Das Paket wird auch implementiertfoldr
undunfoldr
, aber keine der anderen Faltfunktionen.