Algebra

class Semigroup a

class Monoid a

class Group a

class Abelian a

class Idempotent a

(+)

(-)

(*)

(/)