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