всё та же императивщина с ООП

Ну конечно. Берется джава, берутся нормальные HOFы, все классы делаются финальными, потому что наследование - это бич

И получается нормальный полу-джавовый, полу-фп код

Опять же, в джаве нельзя написать (::funMapAtoB + ::funMapBtoC)(a), а в котлине можно

Ну, так, грубый пример

И вообще есть arrow-kt.io

котлин норм, но это так скучно

Попробуйте программировать на контекстах 🤷‍♀️

а как это? я может быть и попробовал бы)

У ps есть hedwig, который быстрее эльма (и выгляди так же), но пока причина почему я не переходу на ps, это css

Ну, вон есть Arrow - там некоторые тайпклассы применяются вот так:

String.eq() // получение инстанса
  .run {
    "1" eqv "2"
}

Так вот смысл в чем - вне скоупа лямбды run вы не можете сравнивать строки через eqv, зато внутри скоупа строки приобретают новую функциональность засчет того, что контекст переносится внутрь инстанса тайпкласса Eq для строк. Представьте теперь, что у вас не String.eq(),  а, например, какой-нибудь AnalyticsContext, внутри которого инкапсулирован инстанс какого-нибудь веб-клиента, который отсылает аналитику куда-нибудь. И вы пишете:

AnalyticsContext().run { // перенос контекста
  Event(id, type).send() /* вне AnalyticsContext тип Event не имеет поведения "send" */
}

И смысл такого подхода в том, что вам не приходится пользоваться, к примеру, DI-ем, потому что вся функциональность поделена на такие вот контексты, которые имеют максимум пару зависимостей. Вооот

Да, поведение немного смахивает на пресловутые тайпклассы, но на самом деле контексты на экстеншенах скорее даже более мощная концепция, ящитаю

Идея эта кстати не моя, до неё люди дошли обсуждениями  в чатике котлина

А отсутствие тайпклассов как оправдать?

Есть

А чего тебе в хаскеле не хватает?

Грязи

…

Есть же либы?

Есть purescript-css, конечно