有许多仿函数看起来像容器(列表,序列,映射等),还有许多仿函数没有(状态转换器IO,解析器等).我还没有看到任何看起来像容器的非平凡Foldable或Traversable实例(至少如果你斜视一下).有存在吗?如果没有,我很想更好地了解他们为什么不能这样做.
IO
Foldable
Traversable
haskell traversal fold
fold ×1
haskell ×1
traversal ×1