Numeric.Semiring.Integral
class
IntegralSemiring
r