zero
AbelianCatamorph
CommuteCatamorph
MonoidCatamorph