Zero
Conqueue
Pool
zero
Monoid