Reason will have modular implicit. It's really just OCaml under the hood.