Arrow-kt implement support of higher kinded types for Kotlin (which has a similar limitation). They create a type using generic Kind<T, B> and some tools to convert it to usable Kotlin type.
Suggest you to check it out!
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.