On a separate note, we'd be interested in hearing about what you're using MLton for, and if you have anything that should go up on our projects page. Also, we're always on the lookout for multi-(tens of)-thousand line programs to add to our benchmark suite.