fact: Definition thunkGen {A} (f : unit -> G A) : G A := MkGen (fun n r => run (f tt) n r).
imports: Coq(String List ZArith Lia) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype seq) QuickChick(RandomQC RoseTrees Sets Tactics Producer)