Re: [GHC] #10125: Improper evaluation of type families (was: Inproper evaluation of type families)