Semigroup has option, so only import Semigroup(..) to avoid the symbol clash.