Re: Proposal: Make Semigroup as a superclass of Monoid

On Mon, 6 Apr 2015, wren romano wrote:

(ObBikeshed: Honestly, I'd rather see:

class Semigroup a where (<>) :: a -> a -> a concat :: [a] -> a -- or: concat :: Foldable f => f a -> a

...getting rid of the mwhatever naming scheme and avoiding taking two names for one function.

I also do not like the "m*" names. Btw. your 'concat' already exists as Foldable.fold, but it is not a method of Monoid or Semigroup.