Re: [Haskell-cafe] Formal semantics for Haskell?