Is there really any OS stuff that isn't addressed by the standard basis library? Note, the random thing clearly depends on /dev/random (or more useful /dev/urandom) thing depends on this file existing and having the right semantics, but I just don't see that as having any thing to do with MLton. The interface to the GC is a better case for things that make sense in a structure called MLton.