Add instance Semigroup a => Semigroup (Const a b)