Re: [GHC] #13840: Pattern matching duplicated record fields