On the Meaning of Haskell 5