add-semigroup-instances
