run :: Testable a => ([Term] -> a) -> Int -> Int -> Result
run a = f where P f = property a
run :: Testable a => ([Term] -> a) -> Int -> Int -> Result
run a = f where P f = property a
run a = f where P f = property a