Re: [GHC] #11379: Solver hits iteration limit in code without recursive constraints