NumHask.Algebra.Magma

class Magma a

class Unital a

class Associative a

class Commutative a

class Invertible a

class Idempotent a

class Homomorphic a b

class Isomorphic a b

class Monoidal a

class CMonoidal a

class Loop a

class Group a

groupSwap

class Abelian a