On the Meaning of Haskell