Re: [GHC] #13959: substTyVar's definition is highly dubious