Semigroup[V] because we should only require a semigroup.