fact: Fixpoint concatLazyList {A : Type} (l : LazyList (LazyList A)) : LazyList A := match l with | lnil => lnil | lcons x l' => lazy_append x (concatLazyList (l' tt)) end.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics)