fact: Definition enumerate' {A : Type} (gs : list (E (option A))) : E (option A) := enumerateFuel (length gs) (length gs) gs.
imports: ZArith List mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat) Numbers.BinNums Classes.RelationClasses ExtLib.Structures(Functor Applicative) QuickChick(Sets Tactics Producer LazyList RandomQC)