<@U5G2J4DHT> I think you just submit a PR to <http...

# language-proposals

[raulraja]

@sanf0rd I think you just submit a PR to https://github.com/Kotlin/KEEP which will also give it visibility to other people not in this channel and then it will evolve from there or not based on interest and other opinions.