Поскольку в хаскеле нет (почти нет) виртуального диспатчинга и инлайнить вещи легко, он на этапе компиляции оптимизирует много чего, например, опять же, небоксинг примитивов
Эм, а ты в курсе, почему котлин так не делает и инлайнит только то, что ему сказано инлайнить? А также не делает девиртуализацию? Подсказка: на джава начинается на интероп заканчивается. Вот К/Натив так делает, у них нет таких ограничений.