Numeric.Additive.Class

Additive Semigroups

class Additive r

sum1

Additive Abelian semigroups

class Abelian r

Additive Monoids

class Idempotent r

sinnum1pIdempotent

Partitionable semigroups

class Partitionable m