Почему исключения Haskell могут быть пойманы только внутри монады ввода-вывода?

Кто-нибудь может объяснить, почему исключения могут быть выброшены за пределы монады IO, но могут быть пойманы только внутри нее?

Ответы на вопрос(3)

Ваш ответ на вопрос