For example `Functor<Option.F>` where F is a...

# kapt

[raulraja]

For example Functor<Option.F> where F is a inner class in Option which Option uses as a generic extending HK<Option.F, A> to emulate itself as a type constructor so in the lookup map we end up with = Functor<Option.F> -> OptionFunctorInstance but when it is looked up it looks like: inline fun <reified F> functor() : Functor<F> and then someone calls functor<Option.F> or functor<F> if F is reified.