Экземпляр Foldable
, скорее всего, будет своего рода контейнером, а значит, скорее всего, будет Functor
. Действительно, this говорит, что
Тип
Foldable
также является контейнером (хотя класс технически не требуетFunctor
] , интересноFoldable
s - это всеFunctor
s).
Итак, есть пример Foldable
, который, естественно, не является Functor
или Traversable
? (который, возможно, пропустил на вики-странице Haskell :-))