Data.AdditiveGroup
class
AdditiveGroup
v
(^-^)
sumV