@hackage magma0.6.1.1

magma is an algebraic structure.

magma is an algebraic structure consisting a set together with an binary operation.