Suggestion: move Foldable1 and Traversable1 to the "semigroups" package
Closed this issue · 1 comments
nikita-volkov commented
Suggestion: move Foldable1 and Traversable1 to the "semigroups" package
ekmett commented
The problem with this proposal is that the classes we need to take advantage of them and write many of the methods for them, e.g. Apply
and Bind
, live here. This is why they were placed in this package in the first place.
Data.Foldable
and Data.Traversable
provide a ton of combinators in terms of Applicative
and Monad
. These modules can't provide a comparable API without pulling large chunks of this package along for the ride.