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