fact: Fixpoint list_ap {A B} (fs: list (A -> B)) (xs: list A) : list B := match fs with | f :: fs' => map f xs ++ list_ap fs' xs | _ => nil end.
imports: Hask.Ltac Hask.Control.Monad Hask.Data.Eq Hask.Data.Maybe Coq.Program.Wf Coq.Sorting.Sorted Coq.Classes.RelationClasses Coq.Lists.List