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