This being the right thing to do is reinforced by the fact that resultType does NOT appear in SimpleTypeProxy, so SingletonType inherits the identity implementation in that case.