Data.AdditiveGroup

class AdditiveGroup v

(^-^)

sumV

data Sum a

inSum

inSum2