fact: Fixpoint mapLazyList {A B : Type} (f : A -> B) (l : LazyList A) : LazyList B := match l with | lnil => lnil | lcons x l' => lcons (f x) (fun _ => (mapLazyList f (l' tt))) end.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics)