Interface CommutativeMonoid<T>