Zero
Union
zero
Monoid
AbelianCatamorph
CommuteCatamorph
MonoidCatamorph
zip
Signal