zero
IsomorphicAdditiveMonoid
ProductAdditiveMonoid