Maximum and Minimum monoids

[Gabriel Gonzalez]

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.