I'm guessing it's the significant compilation times required by whole program optimisations. MLton doesn't do separate compilation. (I think. Citation needed.

I'm guessing it's the significant compilation times required by whole program optimisations. MLton doesn't do separate compilation. (I think. Citation needed. It may separate some things, then optimise after, GCC -flto style.)