A Kotlin Compiler Plugin enabling the usage of Higher-Kinded Types without resorting to inelegant encodings