The partial-semigroup-test package provides a Hedgehog property, because Hedgehog is my favorite property testing library. But I realize Hedgehog is still fairly niche, and Quickcheck has a ton of traction, so we should probably add something for QuickCheck as well.