Hi, I have released the first version of my test.check.insights library. It provides functionality to give insights into values generated by test.check generators by providing support for labeling of values, coverage check and value collections. It also provides statistical hypothesis checking of user provided required coverage of values produced by your generators. See the README for more details. I hope you will find it helpful when writing more complex generators! https://github.com/zclj/test.check.insights