smartcheck-0.2.2: A smarter QuickCheck.
Test.SmartCheck.Reduce
smartRun :: SubTypes a => ScArgs -> a -> (a -> Property) -> IO a Source