fact: Fixpoint All_ll {A : Type} (P : A -> Prop) (l : LazyList A) : Prop := match l with | lnil => True | lcons h ts => P h /\ All_ll P (ts tt) end.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics)