Re: [GHC] #10808: Odd interaction between record update and type families