Re: [GHC] #11263: "Simplifier ticks exhausted" that resolves with fsimpl-tick-factor=200