[GHC] #11716: Make TypeInType stress test work