Как каррировать функцию относительно его необязательные аргументы в OCaml

Предположим, функция bindимеет помеченный аргумент, необязательные аргументы и немаркированные аргументы, и вы хотите определить метод m, который применяет непомеченные аргументы bindи возвращает частично прикладная функция, чтобы пользователь mмог применять помеченные или необязательные аргументы bind. Как ты это делаешь? Простое написание метода m = bind a b [...] zзаставляет компилятор думать, что необязательные аргументы опущены.