только это с pattern matching как-то перпендикулярно, или я вас не понял

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

Смысл в том, что если функция возвращает Either, то придется pattern matching делать, все эти Left/Right, а если возвращает :: MonadError String m => m Int, то нас перестает парить что там за монада, сегодня Either String Int возвращает, завтра ReaderT Env (Either String) Int, код снаружи от этого не поменяется ни для bind, ни для catchError (\(e::String) -> ...)

нет, не придётся. есть же instance Monad (Either a)

О чем и речь. Только редко где этот подход из тех кодов что я видел используется. Видел мало конечно. Больше Either, Maybe используется. Хз с чем это связано.

именно в instance Monad (Either a) зашито поведение "аналог исключений"

а в чём противоречие?

Either и Maybe используются не вопреки, а благодаря тому, что ими можно пользоваться как монадами и вместо исключений

Тогда я опять запутался.

1. Не вижу связи что Either это монада и как это связано с механизмом исключений. Механизм исключений для меня это тот ящик, на котором вроде бы написан тип, но внутри еще маленький ящик, в который кладется исключение и с этим маленьким ящиком работает вычислитель и исполнитель. Какое отношение к механизму исключений имеет факт что Either это монада со своими return/bind я не очень понимаю.
2. Вот это вот "благодаря" меня смущает, указывает на некую связь, какую-никакую. А по мне что Either, что исключения это совершенно разные механизмы и связи между ними нет. Можно Either использовать, можно throwError/catchError - вопрос вкуса. Строгих guideline я не видел пока.

1. (>>=) реализован так, что Left прерывает вычисление/исполнение всего, что справа.

для меня это главное в абстрактном механизме исключений

а вычислитель, исполнитель и ящики, что были выше — это специфика IO

А что первым появилось, Either или исключения? Ну да, Left прерывает, должен ли таким поведением обладать throwError, т.е. есть ли такой закон?

гайдлайны примерно такие:

если список исключений закрытый (нерасширяемый) и маленький, то лучше Either или что-то другое явное (ExceptT, MonadCatch...)

если исключения из внешнего мира (сеть, диск, ОС), если список открытый, то лучше throwIO, catch и документация

закона нет, но иначе просто невозможно реализовать. если нет значения a для запуска правой части байнда (>>) :: m a -> (a -> m b) -> m b, то она не будет запущена

появилось в Хаскеле? наверно, сумтипы и Either были с самого начала. IO с исключениями пришли позже

когда Хаскель начал использоваться в проде (около 2005 вроде), уже были все варианты обработки ошибок

А, ну да.
А вот еще вопрос. Evaluation же проходит на этапе работы программы и если с параллельного потока прилетит исключение, evaluation прервется или же нет и куда денется это исключение? Его только в IO можно будет отловить?

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

да, всё так. прервётся и полетит в IO (есть тонкости с маскировкой)

на этот вопрос советую почитать Марлоу, его книгу