Note, even if they use MLton/SML, they are using first-class continuations (presumably for the usual encoding of funny control flow in the language) and so MLton isn't going to do great if it used much.