Re: [GHC] #13352: Strange requirement for re-exported duplicate record fields