Compose 2 invariant Functors F and G to get a new Invariant Functor for F[G[_]].
Compose 2 invariant Functors F and G to get a new Invariant Functor for F[G[_]].
Compose the Invariant Functor F with a Contravariant Functor to get a new Invariant Functor for [F[G[_]]].
Compose the Invariant Functor F with a Contravariant Functor to get a new Invariant Functor for [F[G[_]]].
Compose the Invariant Functor F with a normal (Covariant) Functor to get a new Invariant Functor for [F[G[_]].
Compose the Invariant Functor F with a normal (Covariant) Functor to get a new Invariant Functor for [F[G[_]].