Scala Higher-Kinded Types эквивалентны функции расширения дженерик параметра T, с новой фичей контекст ресиверов Kotlin
Scala sasat!

А сами по себе контекст ресиверы это способ пробросить функционал от какого то класса/интерфейса в функцию, не передавая в нее явно параметры, этот функционал появится у this, немного похоже на скалины имплиситы, только все эксплисит

Вот примерчик, сверху дженерик функция, куда через контекст передается JsonScope(интерфейс у которого 1 функция toJson() для дженерик A) и логгер, интерфейс у которого функция info()

Теперь мы внутри printAsJson можем нахаляву "из ниаткуда" вызывать toJson() и `info()`а в main мы явно пробросили 2 объекта через with, которые подходят под эти интерфейсы #lang