If it moved semigroups into base, and fix that god-awful Maybe Monoid instance, I'd be willing to shed the times1p function or convert it to Integral.

To merely move it into the platform, I'd be more hesitant.

On Fri, Dec 28, 2012 at 1:14 PM, Gabriel Gonzalez <gabriel439@gmail.com> wrote:
On 12/28/2012 12:07 PM, Roman Cheplyaka wrote:
So, the best solution seems to be to merge semigroups into base.
My proposal would be to move only Data.Semigroup to base, as it will
lead to significant simplification, but leave other modules (NonEmpty,
Natural) in a separate package, since they are of limited applicability
and would gain nothing by being inside base.

I'm okay with this.  However, his Semigroup class depends on NonEmpty and Whole from the other semigroup modules, but I assume those are just there for efficiency purposes.

Also, if semigroups is in base, then you can move the semigroups instances back to containers.


_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries