Re: [ghc-steering-committee] What should we start with?

Simon Peyton Jones writes:

I propose that we adopt the overloaded record field proposal too. I've just re-read it -- it's nice.

My only question with the ORF proposal is how it interacts with record pattern synonyms, as I pointed out on the pull request. I do wish that there was a clearer story for practical polymorphic update, but if Adam says that this should be compatible with the current proposal then so be it. I also vote to adopt. Cheers, - Ben