[Haskell-cafe] Thoughts about redesigning "Num" type class

[Silvio Frischknecht]

> class (Monoid m) => Ring m where
>     ...
> 
> class (Group a, Ring a) => Num a where
>     ...

I guess Semiring is the proper name :)