I think you misunderstood my idea. For example, check the User that I defined. Even if you would have another type with the same structure, the name would be di

I think you misunderstood my idea. For example, check the User that I defined. Even if you would have another type with the same structure, the name would be different, so it would not be interchangeable without a "cast", even though both are ultimately structural types. It's just that the name is now part of the structural definition.