Why not use smallcheck?
Haskell Community [Unofficial]
March 30, 2026
Exponential explosion even in simple cases (like, a record with 6-7 fields) makes smallcheck very brittle to control and use in anger.
Discussion in the ATmosphere