На самом деле можно подойти с другой стороны: если функция возвращает IO a, а не просто a, она может быть вызвана только в другой функции, которая возвращает некий IO b, но не в чистой функции в b.

При этом чистые функции могут быть вызваны и внутри IO, и из других чистых функций

При таком подходе вообще все функции чистые, а тестирование проверяет не изменился ли ast функции

Контрпример: pure :: a -> IO a

И?

это описание следствия, а не причины

Ничто не мешает мне вызвать pure в чистой функции

Следствие — это то что важно, если я буду описывать причину, то ворвутся рамблеры и будут говорит что я вдаюсь в детали языка

это какая-то unsafe-магия, да?

Да, но её значение либо не будет использовано и соответственно не произведет эффекта, либо твоя вызывающая функция будет возвращать IO

Наоборот

а, блин, я сигнатуру неправильно прочел, туплю

Результат функции pure уже нельзя будет использовать в чистой функции

Причина простая, IO непрозрачный тип, матчиться по нему нельзя, апи для работы с ним ограничен, вот и все

я ее перепутал с unsafePerformIO почему-то

Стрелка перевернулась

лол, пошли старые добрые мемы

Если функция возвращающая ответ сайта (давайте уже её как-нибудь обозначим, например getContent), возвращает значение типа IO которое содержит в себе контент сайта, то это недетерменированая функция.

Если это значение типа IO содержит только инструкции для интерпритатора, то функция может быть детерменированной, но мне не понятно, как тогда выглядит взаимодействие дальше. Ну сгенерировали мы код, который при выполнении вернёт ответ сайта. Кто его обрабатывать будет?

Никто, хаскель невозможен и не работает

смотри, есть интерпретатор в рантайме.
ему на вход попадает значение типа IO (), которое возвращается функцией main программы, и интерпретатор начинает его интерпретировать. это значение - фактически ast, интерпретатор будет копать идти по нему вглубь, выполняя свои инструкции, которые IO Something и применяя к выполненным результатам обычные чистые функции.
отдельным узлом в котором будет IO String, который вернула твоя функция getContent. в тот момент, когда это значение из инструкции нужно будет превратить в реальное значение, произойдет реальный запрос к сайту, появится настоящее значение, которое дальше как-то обработается.