Haskell is two languages. There's the expression language which is pure. Then there's the runtime system which takes descriptions of side effects generated by t

Haskell is two languages. There's the expression language which is pure. Then there's the runtime system which takes descriptions of side effects generated by the expression language (the IO type) and executes them in the real world. The expression language is absolutely pure.