Plankton.Magma

class Magma a

class Unital a

class Associative a

class Commutative a

class Invertible a

class Idempotent a

class Monoidal a

class CMonoidal a

class Loop a

class Group a

groupSwap

class Abelian a