I heard some random researcher from Microsoft asked about that on the OCaml mailing list in 2001 [1]. I think it led nowhere [2].
[1] http://caml.inria.fr/pub/ml-archives/caml-list/2001/02/57705... [2] https://fsharp.org/
[1] http://caml.inria.fr/pub/ml-archives/caml-list/2001/02/57705... [2] https://fsharp.org/