> Well, that is simply not true.

I think it's true, for example catch [1] requires IO. Do you mean with unsafePerformIO, or something else?

1: https://hackage.haskell.org/package/base-4.16.0.0/docs/Contr...