This article is a stub. You can help by expanding it.
A monoid is an algebraic structure with a single, associative binary operation and an identity element.
- The Data.Monoid module
- The blog article Monoids and Finger Trees
- Category theory
- Arrows, like Monads, are Monoids (PDF)