[Haskell-cafe] Top-level TVars