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