под один верхний тип будут подведены? Это же тоже самое что сделать recover в конце с похожим Exception
идея в том, что в разных кусках кода у тебя могут быть разные ошибки твоём MonadError, ну или FunctorRaise
Обсуждают сегодня