Numeric.NonNegative.Class
class C a