[Haskell-cafe] Language semantics