I’m really thinking of closing #language-proposals as it doesn’t serve its purpose, and often just splits community from discussing things in #general or even #getting-started. I’m not sure how original message (https://kotlinlang.slack.com/archives/language-proposals/p1486473560001226) is anything that is close to a proposal to the language.