Is it true that In32 is never mentioned in the basis library? If that is true then I guess that it makes some (but not much) sense. Still, it would have been better to use something like the Position structure. The problem is that with the current set up, IntInf's are going to be used in MLton for no reason.