Does anybody know of a project using quickcheck that is defining their own generators? I am having a hard time understanding how to do this from the docs.

The problem is not so much creating the generator itself: (make-generator (lambda (size rgen) ...)) would do it…

but reusing existing generators in the definition of a new one.