Numeric.NonNegative.Class
class C a
splitDefault
(-|)
zero
add
sum
maximum
switchDifferenceNegative
switchDifferenceOrdering