Data.AdditiveGroup
class AdditiveGroup v
data Sum a