Re: [GHC] #9445: GHC Panic: Tick Exhausted with high factor