fact: Parameter forAll : forall {A prop : Type} `{Checkable prop} `{Show A} (gen : G A) (pf : A -> prop), Checker.
imports: QuickChick(QuickChick) ZArith Strings.Ascii Strings.String ExtLib.Structures(Functor Applicative)