|Portability||Abstract concept of a Monoid. Will be used in order to generate|
|type classes for generic algebras. An algebra is a vector space
that also is a monoid.
|We expect a monoid to adher to associativity and the identity
behaving decently. Nothing more, really.
|Produced by Haddock version 2.4.2|