Yeah, OverloadedRecordUpdate should fix this, but it seems to have had quite a few setbacks.
In the meantime, I’m fairly happy with modifyCompany Company{..} = Company{name = "some new name", ..}
1 Like