[Haskell] Blocked STM & GC question