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