Algebra.NonNegative
class
C
a
splitDefault
(-|)
zero
add
sum