On the Meaning of Haskell 2