That, requiring an explicit flag to use ~/.mlton/mlb-path-map would be fine with me. For C I do the same thing and just have a shell file which adds the correct -I and -L arguments to any provided and runs gcc that way. Given the above I would do the same for MLton.