In the playground I had the following code:
let qc = quickCheckWith stdArgs { maxSuccess = 500 }
qc (\s -> (reverse . reverse $ s) == s)
It does type check, and correctly shows the type. But there is no output in the console. If I lower the bound to 100, then I do get output. I got the same problem when I repeated multiple quickChecks with a smaller size.