fact: Parameter bindGen' : forall {A B : Type} (g : G A), (forall (a : A), (a \in semGen g) -> G B) -> G B.
imports: QuickChick(QuickChick) ZArith Strings.Ascii Strings.String ExtLib.Structures(Functor Applicative) QuickChick(Proofs)