Add Pair is SemiGroup
Add Pair is Monoid