1ML is a conservative extension of HM - all valid ML programs are typable in 1ML without extra annotations. Furthermore, OCaml essentially already has first-cl

1ML is a conservative extension of HM - all valid ML programs are typable in 1ML without extra annotations. Furthermore, OCaml essentially already has first-class modules - just the syntax is much more awkward than is possible with 1ML.