Монады Writer и State. Ввод-вывод. Тип IORef. Работа с псевдослучайными величинами. Взаимодействие с файловой системой.