use `verboseCheck :: Testable prop => prop -> IO ()`
use
verboseCheck :: Testable prop => prop -> IO ()