saved
started semigroup
Monoid instances