Хочу сделать примерно следующее. Есть интерфейс Context. Есть некоторый интерфейс Object. Хочу, чтобы у интерфейса Object внутри Context появлялась extension infix функция f. Можете пожалуйста на пальцах объяснить, как это сделать без тайпклассов?
Впрочем, до 1.4 в принципе о планах каких-либо говорить трудно, там подкапотное массивное переписывание на IR. К активным обсуждениям user-facing штук, вероятно, вернутся позже.