Since it's mentioned in a comment `IndexedFunctor` is `Bifunctor`, bifunctor contravariant in both arguments. `IndexedApplicative` is `Biapplicative` and `WrappingApplicative` is `Joker`.
Since it's mentioned in a comment
IndexedFunctorisBifunctor, bifunctor contravariant in both arguments.IndexedApplicativeisBiapplicativeandWrappingApplicativeisJoker.