I believe one of the reasons something similar for...
# random
d
I believe one of the reasons something similar for types is not supported in Kotlin is because it's challenging to produce reasonable bytecode for it? It's definitely something I'd like to see though.