Re: [GHC] #1872: Extensible Records