Re: [GHC] #15542: DuplicateRecordFields not honored within a data family?