Jan submitted this row polymorphism proposal in 2018, last prior update was 2021, and it's still hype af because "row polymorphism" basically means compiler-checked duck typing, including arbitrary field updates. It makes section three here go away entirely. One little doctorate thesis to nail down the details? Minor speed bump!