But for an open world model we need the unordered definition. As two structs that have same names at different places in the struct still need to conform to th

But for an open world model we need the unordered definition. As two structs that have same names at different places in the struct still need to conform to the generic record type