Re: [GHC] #10488: Inconsistent reduction of type family