В ML принято главные данные последним аргументом писать
Что значит "главные данные"?
В данном случае, если есть каррирование в языке, надо просто при написании функции заранее представить наиболее частые формы/примеры её вызова, соответственно и порядок аргументов выбрать наиболее удобным для этих вызовов...