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