Re: [GHC] #13993: Certain inter-module specializations run out of simplifier ticks