А вот
такого ты никогда не получишь в Kotlin 😎
Окружение и результирующие эффекты выводятся компилятором
и их ненужно описывать в сигнатурах тк структурная типизация и row-полиморфизм.
Да, джава интероп, зараза, мешает. Но, теоретически, компилятор мог бы выводить типы параметров для локальных функций.