Re: [GHC] #3553: parallel gc suffers badly if one thread is descheduled