I just don't like the idea that MLton can ONLY be self-hosted. Note the factor of 20 you guess for G0 I don't view as that bad. It means a compile (the G0) would be 20*10 = 200 minutes, or a bit over 3 hours. Not good, but not that bad either. I had forgotten about the signature stuff being very bad without tricks. Oh well.