Re: [GHC] #11720: pureMD5: Simplifier ticks exhausted