[MLton] Unicode / WideChar

[Henry Cejtin]

Yes, I really DO mean collation order.  Like I said, it makes sense (although
it isn't important to me very much) that locale's modify the output of sorted
lists which are intended for human consumption.  On the other hand, I OFTEN
want things sorted so I can do unions or intersections.  For this, it is
importent thing is the agreement on the order.  Currently, if I get output
from some one else and want to operate on some data I have, I have to know
what their locale is and set mine to the same.  It is that extra dependency
that is a horrible pain.