Как я могу создать тип с несколькими параметрами в OCaml?

Можно переопределить значительные части среды выполнения на лету, такой как изменение Array конструктор или определение undefined. Не то, чтобы Вы должны, но это может быть мощной функцией.

А несколько менее опасная форма этого является добавлением вспомогательных методов для существующих объектов. Вы можете заставлять IE6 "исходно" поддерживать indexOf на массивах , например.