zero
Monoid