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.

questionAnswers(2)

yourAnswerToTheQuestion