Re: [GHC] #12097: DuplicateRecordFields appears not to work in GHCi