We could use a many more instances. At least every Semigroup instance in `base` should have a corresponding `PartialSemigroup`.