Proposal: Make Semigroup as a superclass of Monoid

[wren romano]

On Tue, Apr 7, 2015 at 12:52 AM, Edward Kmett <ekmett at gmail.com> wrote:
> The most likely path forward would bring in:
>
> class Semigroup a where
>   (<>) :: a -> a -> a
>   (... and sconcat :: NonEmpty a -> a probably hidden in a submodule to
> avoid bringing NonEmpty into Prelude, and times1p possibly bikeshedded to
> stimes1p for naming consistency, both probably exiled to Data.Semigroup)

Whoops! Yes, that's the type I meant for concatenation ::chagrin::

-- 
Live well,
~wren