Re: [GHC] #5476: Cap memory usage for one thread without disrupting other threads