Привет. Если у меня есть функция возвращающая какое-нибудь IO действие,

чистота зависит не от IO, а он исключений и зависаний во время работы этой функции. вообще смотря что вы называете функцией. a -> IO b — это функция (->), вычисляющая действие IO b. и одновременно это процедура, выполняющаяся в контексте IO и возвращающая значение b.