j
k
j a
j l
class (Monoid m) => Ring m where ... class (Group a, Ring a) => Num a where ...
class (Monoid m) => Ring m where ...
class (Group a, Ring a) => Num a where ...
I guess Semiring is the proper name :)
Back to the thread
Back to the list
