axiomatic-classes-0.1.0.0: Specify axioms for type classes and quickCheck all available instances
Test.QuickCheck.Shrink
doShrink :: Arbitrary a => (a -> Property) -> a -> IO a Source #