Re: [Haskell-cafe] Operational Semantics of Haskell