Re: [GHC] #9437: Wrong error message when using `..' with a record update