It's really too bad that reduction in code size doesn't correlate cleanly with runtime improvement. Do you guys have a conjecture on what's causing the (modest) slowdown from MLton-stable; is it really unfold like Henry suggests? -- sj