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