On: Obviously Correct: implications for language design

[JoshTriplett]

Most of the structural typing systems I've seen count the names of fields as part of the type, not just the types of the fields. So, those two structs would have incompatible types in such a system.