[Haskell-cafe] Operational Semantics of Haskell