Monoid that can be used whenever a monoid of the unit type is expected.
This is the case for example in some calls to `fold`-like features.

Since there is exactly one value of type unit, the operation, the equality
and the identity element of this monoid are canonically defined.