[wqsz7xn]

  main :: (RealWorld ->) ((), RealWorld)

I've been doing haskell for a few months now. I don't think I have ever seen a expression like this. It looks like State. Is this even valid syntactically? I'm Probably bikeshedding.

[yakshaving_jgt]

The Haskell snippet included is basically gibberish. It’s best to ignore it.

[tome]

Has it been removed? I don't see any Haskell in the article.

[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!

[yakshaving_jgt]

Looks like it has been removed, yes.

[yakshaving_jgt]

Actually no it hasn't. I think I'm just blind occasionally.