IntSumMonoid constructor

IntSumMonoid()