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