или putStr "hello" — бери и печатай сразу

А получается что evaluation выдает в качестве результата такой ящик, где либо хранится вычисленное значение, либо exception (если в процессе вычисления наткнулся на throw) и все последующие, верхние вычисления с использованием этого бажного вычисления будут тупо брать этот exception и выдавать как свой результат? А на этапе вычисления можно отловить эти вычисления? Ну типа, да, вычисления, да есть exception, но вот где-то дальше там по ходу вычисления есть аля-catch и вычислятор смотрит, а что там за catch и дергает его и если не сложилось, то продолжает протакливать исключение выше. Или же вычислятор этим не парится и говорит, что нах, результат всего вычисления есть исключение и ты, executor сам парся с ним, ищи catch и пропихивай и сам решай что исполнять. Но в этом случае получается я всю муть с глубины должен поднимать на уровень IO?

если исключение происходит, то значение в коробке не возвращается

на этапе вычисления ловить исключения нельзя

но есть Either, который можно вычислять и который ведёт себя почти так же, как исключение

можно муть поднимать в IO с помощью исключений, можно обрабатывать ошибки в чистом коде с помощью чистых данных

Про Either у Карпова:
we could quickly find ourselves writing all our code in Maybe or Either monads and corresponding transformers

Какой путь считается более идеоматичным?

А зачем тогда MonadError.catchError, у него вроде тип подходящий m a -> (e -> m a) -> m a, без IO?

оба идиоматичны для разных видов ошибок

чтобы строить псевдоисключения не только в Either, но в разных монадах

а также чтобы ловить настоящие IO исключения в монадах, производных от IO

Что значит "производные от IO"? Это которые навешаны с помощью механизма трансформеров на IO, типа ReaderT r IO a?

Блин, псевдоисключения еще. Новое понятие. Это имеется ввиду те, которые не наследуются от Exception, а произвольные, типа строки, числа, все что хочется?

да

нет, я имел в виду поведение, аналогичное механизму исключений

А, я понял. Такой объединяющий/объясняющий всё механизм, где мы нашей новой собственной монаде прописываем способность "генерить" исключения, а в catchError мы не паримся с pattern matching-ом, вообще ничего не знаем про внутреннее устройство этой новой монады (как в случае Either), а работаем с чистым исключением, а всю работу за нас делает instance монады. И Either это просто разновидность MonadError. И судя по instance MonadError IOException IO можно в IO монаде делать catch, а можно catchError ?

всё так

Круто. Спасибо.

там ещё есть MonadError, которая более общий интерфейс, есть MonadThrow/MonadCatch, которые дают более гранулярный интерфейс и работают только с базовыми исключениями