zero
Monoid
Void