Почему OCaml (+) не полиморфен?

Я новичок в OCaml. Мне нравится скорость OCaml, но я не совсем понимаю ее дизайн. Например, я хотел бы, чтобы оператор + был полиморфным для поддержки целых чисел, чисел с плавающей запятой и т. Д.

Зачем нам +. ?