Numeric.NonNegative.ChunkyPrivate
data T a