Portability | Abstract concept of a Monoid. |
---|---|

Stability | provisional |

Maintainer | numericprelude@henning-thielemann.de |

Will be used in order to generate type classes for generic algebras.
An algebra is a vector space that also is a monoid.
Should we use the Monoid class from base library
despite its unfortunate method name `mappend`

?

# Documentation

We expect a monoid to adher to associativity and the identity behaving decently. Nothing more, really.