Definitely. That's why I got excited and thought that there's something specific about MLTon that's used for systems programming here (the capabilities of the "

Definitely. That's why I got excited and thought that there's something specific about MLTon that's used for systems programming here (the capabilities of the "Standard" MLs vary a bit).