Wow, for some reason I though that local wasn't allowed at the structure level. That definitely reads better. It is weird that SML/NJ now doesn't handle any of these, although I am sure that I used my original back in the days when I depended on SML/NJ for type checking.