Copyright | (c) Henning Thielemann 2009-2010, Mikael Johansson 2006 |
---|---|

Maintainer | numericprelude@henning-thielemann.de |

Stability | provisional |

Portability | Abstract concept of a Monoid. |

Safe Haskell | Safe-Inferred |

Language | Haskell98 |

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.