[Haskell-cafe] Cannot update a field in a record with a polymorphic type.

[Ignat Insarov]

What I meant to express is that this problem _does not need to occur_
with record updates, even though they are presently being desugared to
functions. In other words, I propose that record updates _are_ special
— or _should be_ special, in any case.