торчащей наружу, IO только в Internals.
При это есть Copointed у тамошних монад.
Значит ли это, что она неявно делает IO "под капотом"?
Там unsafePerformIO? 👀
Copointed? w a -> a?
это же кусок комонады, можешь вытащить через copure
Вопрос остается актуальным. Куда делось IO?
Обсуждают сегодня