Есть много функторов, которые выглядят как контейнеры (списки, последовательности, карты и т. Д.), И многие другие, которые не выглядят (преобразователи состояний,IOпарсеры и пр.). Я еще не видел ни одного нетривиальногоFoldable или жеTraversable экземпляры, которые не похожи на контейнеры (по крайней мере, если вы немного щурились). Кто-нибудь существует? Если нет, я бы хотел лучше понять, почему они не могут.