Re: [GHC] #12675: Simplifier ticks exhausted