proposition: Lemma genGoodPrec_equality n : genGoodPrec n = @arbitrarySizeST _ (fun foo => goodFooPrec n foo) _.
proof: Proof. reflexivity. Qed.
imports: QuickChick(QuickChick Tactics) String mathcomp(ssreflect ssrfun ssrbool ssrnat eqtype seq) List ExtLib.Structures.Monads