Ну и опять же, есть скала, в которой и раздельная компиляция, и тайпклассы
Тайпклассы это тоже "хотим хаскель, не знаю почему". Они необходимы в хаскеле, потому что там другого ничего нет. Но в языках типа котлин и даже скалы, их применение ограничено