fact: Definition genZoo {A B : Type} `{H1 : Arbitrary A} `{H2 : Arbitrary B} `{H1' : Sized A} `{H2' : Sized B} : G (@Zoo A B) := @arbitrary (@Zoo A B) _.
imports: QuickChick(QuickChick Tactics) String List mathcomp(ssreflect ssrfun ssrbool ssrnat eqtype seq)