The envy slide doesn't make his intent particularly clear. He is talking about how Haskell envies the usefulness of the dangerous languages, and then contrasts that with how Haskell contributes more theoretical ideas (e.g. retry/orElse for STM) back to those languages.