Has anyone looked into the 1ML research wrt F#?

I just came across 1ML, which is a research project to unify the ML module language with the core language. I was wondering whether this might be possible to implement in F# as a way of working around the issues related to adding type classes, higher kinds, OCaml’s module language, etc. The syntax looks like it would generally work, though I’ve not studied it extensively.