Является ли это разумным представлением о вводе-выводе Haskell?

Это разумный взгляд на ввод-вывод Haskell?

При получении программы среда выполнения Haskell делает следующее:

1. Вызывает main ], чтобы вернуть «вычисление ввода-вывода»
2. Затем он выполняет или «запускает» это вычисление, тем самым выполняя все побочные эффекты, содержащиеся в вычислении.

Этот двухэтапный подход позволяет main оставаться чистой функцией.

Вычисление ввода-вывода в этом случае похоже на специальную версию Haskell, которая имеет явную последовательность - или, может быть, есть лучший способ описать это?