Dlaczego listy różnic nie są przypadkiem składania?
Thepakiet dlist zawieraDList
typ danych, który ma wiele instancji, ale nieFoldable
lubTraversable
. Moim zdaniem są to dwie z najbardziej „klasowych” klas typów. Czy jest taki powód do działaniaDList
nie jest instancją tych klas?
Ponadto pakiet implementujefoldr
iunfoldr
, ale żadna z pozostałych funkcji składania.