3 ms·

Well, isn't that just Standard ML?