[dddbbb]

It's still there as far as I can see, it's in an image[0]. I believe their intention is to show a kind of pseudo-desugaring of what the IO monad actually does internally.

[0] -- https://pitayan.com/assets/static/haskell.cbab2cf.82d9f5b091...

[tome]

Ah yes, just goes to show I ignore images in articles!