fact: Definition corrZoo {A B : Type} `{GenMonotonicCorrect A} `{GenMonotonicCorrect B} `{CanonicalSized A} `{CanonicalSized B} := @arbitraryCorrect (@Zoo A B) arbitrary _.
imports: QuickChick(QuickChick Tactics) String List mathcomp(ssreflect ssrfun ssrbool ssrnat eqtype seq)