> OK. Let's stick with times. But it will be (yet another) part of the basis > library that we avoid, i.e., times isn't used anymore in MLton, right? Correct.