4 ms·This is far beyond Hindley-Milner (as are Ocaml and Haskell), which is pretty primitive in-and-of-itself.by wk_end 4y agoThis is far beyond Hindley-Milner (as are Ocaml and Haskell), which is pretty primitive in-and-of-itself.