Re: Proposal: Make Semigroup as a superclass of Monoid

On Tue, Apr 7, 2015 at 12:52 AM, Edward Kmett 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