Why not use smallcheck?

I made a little POC implementation of a smallcheck-like library here: tinycheck/src/Data/TestCases.hs at main · turion/tinycheck · GitHub

It only needs base as a dependency and works with lists. It runs 10 million tests on a largeish record (8 fields, some of them recursive) in less then half a minute on my laptop.

Can you provide me with a test that explodes in smallcheck? I’ll have a look whether it’s viable in this testing framework.