Hedgehog.Gen.QuickCheck