Numeric.NonNegative.Chunky
data T a