Numeric.Semiring.Integral

class IntegralSemiring r