Proposal: Make Semigroup as a superclass of Monoid

[Stephen Tetley]

Cough - I meant semigroups introduces a NonEmpty list type.

On 29 April 2015 at 14:51, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> Empty lists are problematic if you want a mconcat like operation.
>
> Edward Kmett's semigroups package introduces an EmptyList type to
> avoid this (the downside being it introduces an EmptyList type).
>
> If you don't want an mconcat like operation then Semigroup only has
> one useful operation (<>).
>
>
>
> On 29 April 2015 at 14:13, David Feuer <david.feuer at gmail.com> wrote:
>> What's problematic about empty lists for semigroups?
>>