I have looked at the performance page, and I was wondering why the kit example (this is the MLKit, right?) did so poorly. From what I know of MLKit, it is especially designed to be modular, and I would have thought that it could benefit from a whole-program analysis. BTW, are there any technical papers available on the MLton implementation? --FC