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: Coq.Lists.List Equations(Equations) Equations.Type.EqDec Category.Lib Category.Theory.Coq.Functor Category.Theory.Coq.Applicative Category.Theory.Coq.Monad Category.Theory.Coq.Maybe Coq.Lists.List