Algebra.RealIntegral

class C a