It’s even worse as you cannot even update a record if it has a qualified name.

    { Module.record | field = value }

is not allowed. So either, you need to import record unqualified, or you need a let construction.

I somewhat get the restriction on nested updates (though I don’t agree with it), but I absolutely do not understand this.