только это не ast

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

Допустим вот код абстрактной программы:
print(getContent('https://www.random.org/integers/?num=1&min=1&max=10&col=1&base=10&format=plain'))

Представим что мы уже описали определения функций, print должна вывести в консоль то, что вернёт getContent.

Это корректный пример для хаскеля, или может быть нарушает какие-то паттерны и нужно что-то изменить, что бы всё стало кошерно?

не совсем корректный в рамках стандартной библиотеки, типы не сойдутся.
getContent :: String -> IO String
print :: String -> IO ()

для имеющегося stdlib нужно будет написать, кажется
main = getContent(...) >>= print

выбросить чувака?

Еще не всех допек, у некоторых осталось желание отвечать

Хорошо. Давай разберём выполнение по операциям. Что произойдёт?

- getContent сгенерирует значение типа IO String, которое будет содержать операции обращения к сайту, получения и возвращения контента. Фактически запрос выполнен не будет? Будет возвращено задание?
- Оператор >>=, как я понимаю, выполняет это задание, производит запрос и возвращает строку
- print принимает строку и выводит её в консоль

Всё сработает в точности так?

1 - да, так
2 - нет, это более хитрая штука про типы. сейчас не принципиально.
3 - важно не что принимает, а что возвращает. а возвращает print IO (), такой же тикет интерпретатора, как и getContent.

хамит-с

Хорошо. Давай разберём выполнение по операциям. Что произойдёт?

- getContent сгенерирует значение типа IO String, которое будет содержать операции обращения к сайту, получения и возвращения контента. Фактически запрос выполнен не будет? Будет возвращено задание?
- Оператор >>=, как я понимаю, выполняет это задание, производит запрос и возвращает строку
- print принимает строку и выводит её в консоль

Всё сработает в точности так?

>>= делает из двух заданий одно