Suggestion: move Foldable1 and Traversable1 to the "semigroups" package

[nikita-volkov]

No description provided.

[ekmett]

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.