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