Proposal: Add Data.Semigroup to base, as a superclass of Monoid

Petr Pudlák petr.mvd at
Thu Jun 13 20:20:26 CEST 2013

Dne 06/13/2013 07:05 PM, Stephen Tetley napsal(a):
> -1
> I'm against adding Semigroup to Base as it only has one useful operation in
> the class and no useful generic functions (without adding more overhead to
> Base - non-empty lists, naturals...).
The most useful function from Semigroups for me is `times1p` (or its 
monoidal variant `timesN`). What about adding a function similar to 
`timesN` (perhaps with another name) to Prelude (and implement `(^)` 
with it)?


> _______________________________________________
> Libraries mailing list
> Libraries at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list