[Haskell-cafe] Foldable for (,)
voldermort at hotmail.com
Thu May 4 07:47:35 UTC 2017
It seems that Traversable is doing two things:
1) Changing the shape of a data structure.
2) Folding over the contents of a data structure.
Traversable requires Foldable to enable 2, but Traversable is also applied to types such as (,) where only 1 is relevant.
If this is correct, follow-up questions would be:
1) For educational purposes, could these concerns be split without substantial drawback?
2) For practical purposes, could this be done without breaking a lot of existing code?
More information about the Haskell-Cafe