ну инлайнер у flambda очень хорошо работает для монадического кода (видел репорты что убирает почти все) и BuckleScript как раз работает с flambda
ну сейчас-то да, но окамловская культура написания кода двадцать лет практически без оптимизатора формировалась. Теперь оптимизатор есть - через некоторое время тоже привыкнут наворачивать навороты