Test.QuickCheck.Hedgehog