окамл оч долго существовал чисто как язык реализации кока
да это важный фактор, конечно, там пока джейнстрит не потянул были одни рассуждения леруа типа про то что смп никогда не будет нужен, или универсальный аргумент его же про фичи (например конструкторы алгтд - функции)
1) чтоб сделать что-то недо решить как именно (например конструктор будет каррированной функцией или нет)
2) а как решать-то? лучше ничего не делать