[lxpz]

Doesn't Haskell do this to some degree with the IO monad? Functions that are not supposed to do IO directly simply have a more specific type signature, like taking in a stream and returning a buffer for example.

[tome]

Yes, although it can be violated by unsafePerformIO and friends. Haskell's is not an "assured" system.