fact: Definition apComp {F: Type -> Type} `{Functor F} {A B C : Type} (f : B -> C) (fab : F (A -> B)) : F (A -> C) := fmap (fun g => fun a => f (g a)) fab.
imports: ExtLib.Structures(Functor Applicative) List QuickChick(Tactics)