This is a very convolution way of saying that Haskell can have side effects, but some parts of the code is pure. This is also similar to any other languages. Any code is side-effect free until it is executed.

The actually interesting part of Haskell is that the type system is strong enough to indicate which sections of the code is pure and which are unpure.