There seemed to be an implication that Hindley Milner type inference leads to unpredictable performance, you can see that is untrue with ml and ocaml.