Numeric.NonNegative.Class

class C a