Kind enumeration description

[Odomontois]

This is an internal description of enumeration of kinds to shorten names for exotic things

[catostrophe]

And how to deal with variances?

[Odomontois]

And how to deal with variances?

Right now it would create too much complexity.
We can consider variance information later and have alternative numeration for those, postfixing with Kc123 or something like that

[Odomontois]

Added similar page for calculations for variance-enabled numbers

[catostrophe]

Nice idea on encoding hole trees. But it's not mnemonic, not usable nor comprehendable without the codec. Is it supposed to be used internally to guarantee name uniqueness and determinism? Or did you imply using it in public APIs?

[Odomontois]

It was supposed to use only for internal API.
E.g. something like

trait SummonerKn17[T[f[_, _], e, a]]{
   def apply[F[_, _], E, A](implicit inst: T[F, E, A]): T[F, E, A] = inst
}

And then

trait BiContext[T[f[_, _], e, a]]

object BiContext extends SummonerKn17[BiContext]