<@U1L60RR70>: BTW, <https://discuss.kotlinlang.org...
# language-proposals