Add semigroup instance for Weighted