¿Por qué las listas de diferencias no son una instancia de plegable?

lospaquete dlist contiene elDList tipo de datos, que tiene muchas instancias, pero noFoldable oTraversable. En mi opinión, estas son dos de las clases de tipo más "similares a una lista". ¿Hay una razón de rendimiento queDList ¿No es una instancia de estas clases?

Además, el paquete implementafoldr yunfoldr, pero ninguna de las otras funciones de plegado.

Respuestas a la pregunta(2)

Su respuesta a la pregunta