Why not use smallcheck?
Haskell Community [Unofficial]
April 2, 2026
I’d still be interested in a very concrete test case that seems infeasible with smallcheck and is easy with QuickCheck
Discussion in the ATmosphere