функция с монадой MonadState SomeState m, MonadError SpecialError m, и хочется её вызвать в монаде MonadState SomeState m, MonadError GeneralError m. Я умею преобразовать один Error в другой, но в монаде это сделать не получается, это вообще возможно?
Или вообще задать как-нибудь правило обработки ошибки и выкинуть её из контекста.
Обсуждают сегодня