On 9/23/10 1:53 PM, Edward Kmett wrote: > I supply both variants in the monoids package. They are both useful. > > +1 from me for adding either or both sets. > > The only real issue is the bikeshed problem of naming them. +1 from me too. I'd been meaning to make a proposal too... -- Live well, ~wren