fact: Fixpoint join_list_lazy_list {A : Type} (l : list (LazyList A)) : LazyList A := match l with | nil => lnil | cons h ts => lazy_append h (join_list_lazy_list ts) end.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics) Coq(ssreflect)