Re: [GHC] #9156: Duplicate record field