[Well-Typed Blog] When "blocked indefinitely" is not indefinite Consider a Haskell thread trying to read from a TMVar:...