Interface CommutativeSemigroup<T>