Update Monoid and Semigroup. Then summ
Nothing.