Re: [GHC] #9023: Error when using empty record update on binary pattern synonym