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