This is a usecase that applies both to `@implicit`...

# kapt

[raulraja]

This is a usecase that applies both to @implicit which we discussed and you proposed a hybrid solution but also for better case support in PartialFunction. Access to nested generic types in a recursive way. If the compiler sees F as generic type arg I need to know what F will be materialized as in a given call position that makes it concrete and branch logic from there. I want to prove that Type classes are useful for the lang before making a formal proposal. For that I need access to the typechecker and symbol table or whatever similar there is in the Kotlin compiler. Additionally I want to learn about compiler plugins in Kotlin because the whole... they are not ready, unsupported, etc... when they are becoming for many frameworks instrumental is something I feel is not right. If certain frameworks such as Spring and Hibernate can benefit from them because of industry adoption so should libs like Kategory.