Did you see the posting (in comp.lang.functional) about how people should work on implementations of the new DES encryption replacement (Rijndael)? A fine thing to do in MLton I would think. I grabbed the stuff to see how bad it looks.