Re: [GHC] #13311: Audit shady uses of tcSplitSigmaTy