Level-up version of OCaml