fact: Definition chooseEnum {A : Type} `{ChoosableFromInterval A} (range : A * A) : E A := MkEnum (fun _ => enumR range).
imports: ZArith List mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat) Numbers.BinNums Classes.RelationClasses ExtLib.Structures(Functor Applicative) QuickChick(Sets Tactics Producer LazyList RandomQC)