Re: [GHC] #13705: Failure of improvement for type-family dependencies