Re: [GHC] #13830: '+RTS -s' gives incorrect value for work balance in some cases