You've been corrected already on your misinterpretation of the slide without watching the video (at 38:08), but I wanted to add that Simon has repeatedly made t

You've been corrected already on your misinterpretation of the slide without watching the video (at 38:08), but I wanted to add that Simon has repeatedly made the point (including this presentation) that prior to IO Monads, the designers of Haskell were envious of other languages and the slide is repurposed from earlier presentations.