fact: Fixpoint list_to_LazyList {A : Type} (l : list A) : LazyList A := match l with | nil => lnil | cons x x0 => lcons x (fun _ => (list_to_LazyList x0)) end.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics) Coq(ssreflect)