Question on the composing Functors using map helper function.

[SHND]

I have a question regarding map helper function exists in /src/Functor.ts, specifically about the overloads on it. We have these combinations:

map(F: Functor3<F>, G: Functor1<G>)
map(F: Functor2<F>,G: Functor2<G>)
map(F: Functor2<F>,G: Functor1<G>)
map(F: Functor1<F>,G: Functor3<G>)
map(F: Functor1<F>,G: Functor2<G>)
map(F: Functor1<F>,G: Functor1<G>)
map(F: Functor<F>,G: Functor2<G>)
map(F: Functor<F>,G: Functor1<G>)
map(F: Functor<F>,G: Functor<G>)

We have Functor,Functor, Functor,Functor1, Functor,Functor2 combinations, but we don't have Functor1, Functor, Functor2, Functor, ... . Why is that? I tried composing List, Either and Either, List and both worked! I'm trying to understand why is the existing overloading enough?