Monoid definition and examples
We are going to cite the definition of a Monoid found on this post:
Conceptually, a monoid is anything that:
- Has a "zero-value": `mempty`, e.g., `0`
- Can be "appended" together: `mappend`, e.g., `+`
- Has an identity with the …