Numeric.Semiring.ZeroProduct

class ZeroProductSemiring r