A modern programming language that makes developers happier.

kotlinlang

I asked this elsewhere before but I don't recall being it here so here it goes again:
Is there any interest or have there been any discussions regarding support for some kind of Typeclasses or Higher Kinds in Kotlin? We are currently emulating them in `Kategory` and going through many hoops involving annotation processors and dirty tricks with reified generics to get this working. I feel like with Kotlin's support for FP these could be natural lang features. Thoughts? Thanks!