[GHC] #9156: Duplicate record field