On the Meaning of Haskell 7