This record type proposal looks nice, but I don’t see much benefit over dataclasses (KW_ONLY is ugly, but also uncommon I think). At least it would be a stdlib addition, not a language change.