Consider partially applied updates

[ndmitchell]

foo{bar=} could become \x -> foo{bar=x}

{bar=baz} could become \x -> x{bar=baz}

[ndmitchell]

foo{bar=, baz=} would be \x y -> foo{bar=x, baz=y}

[ndmitchell]

{bar=} could be \x y -> x{bar=y}

[ndmitchell]

All good ideas, but I now don't plan to go beyond the GHC record proposal.