[Haskell-cafe] Universal machines in Haskell