У меня проблемы с пониманием сигнатур типов функций для функций более высокого порядка в OCaml. fun...