If people really want to save keystrokes, perhaps we should put the type abbreviations needed into the MLton structure. Then the only difference is to change type1, type2 to (type1, type2) ?.t which really is pretty minimal and, to me, the latter is much more understandable. (What I really wish is that I could come up with a way to get rid of the wretched semicolon.)