Re: [GHC] #13025: Type family reduction irregularity (change from 7.10.3 to 8.0.1)