On the Meaning of Haskell 3