Hay muchos functores que parecen contenedores (listas, secuencias, mapas, etc.) y muchos otros que no lo hacen (transformadores de estado,IO, analizadores, etc.). Todavía no he visto ninguna no trivialFoldable oTraversable instancias que no parecen contenedores (al menos si entrecierra un poco). ¿Existe alguno? Si no, me encantaría comprender mejor por qué no pueden hacerlo.