@jonathandoyle see Function argument polymorphism and ocaml #8513 for the discussion and further references.