Ah overloaded field access, that explains the type signature. I implemented a very similar extensible record/variant system for a product definition language at

Ah overloaded field access, that explains the type signature. I implemented a very similar extensible record/variant system for a product definition language at Barclays. I hope we see a lot more structural typing in industry going forward, it is an especially good fit for typing queries.