<@U1UQX3JCC> getting real generic info of nested g...

# language-proposals

[raulraja]

@Marc Knaup getting real generic info of nested generics would allow us to remove a ton of boilerplate in Kategory too since we also use the type token technique to resolve type class instances at runtime. If this https://github.com/Kotlin/KEEP/pull/87 gets accepted though, there may be no need for inline reified though since the actual type class instances can provide the generic information themselves as shown here: https://github.com/Kotlin/KEEP/pull/87/files#diff-0098fc9952d99a31a3e513011fc0570bR103