RE: [Haskell-cafe] Proof of a multi-threaded application