Extending MLton with multi-entry functions