Data.Semigroup.Instances