$! внутри

ты не туда смотришь, это дефолт

вот для Foldable [] инстанса

Это примерно то же самое, уж. Тоже foldr с энергичной функцией сворачивания

Только получше оптимизирована (инлайнится и oneShot lambda использует)

ну так никакие аналоги тоже через переписывание нормально не объяснить

Товарищи, помогите мне разобраться с монадными трансформерами.

У меня есть трансформер ApiT, который отвечает за соединение с API ВК и обработку ошибок типа ApiError:

newtype ApiT m a = ApiT
    { runApiT :: ReaderT ApiConnection (ExceptT ApiError m) a
    }

Теперь я хочу наслоить на ApiT работу с Long Poll API. Для этого я добавляю StateT LongPollState, но при этом тип обрабатываемых ошибок меняется с ApiError на LongPollError (LongPollError может обернуть ApiError с помощью одного из конструкторов).
Я могу описать это таким образом:

newtype LongPollApiT m a = LongPollApiT
    { runLongPollApiT :: StateT LongPollState (ReaderT ApiConnection (ExceptT LongPollError m)) a
    }

Тогда я могу написать функцию, которая будет lift ить ApiT в LongPollApiT.
Но мне не нравится дублирование кода, т.к. дальше я введу ещё один трансформер, который будет "наслаиваться" на LongPollApiT, точно также дублируя код.

А я хочу писать нечто вроде:
StateT LongPollState (ApiT m) a
Но при этом я хочу гарантировать, что ApiT может кидать только ApiError, а LongPollApiT - LongPollError.

Как мне организовать эту многослойную систему ошибок?
(параметризовывать ApiT типом ошибок не очень хочется, но если это лучший вариант, то я сделаю так)

Поможет ли здесь withExceptT?

Параметризуйте тип ошибки

Ок, спасибо.

А зачем вы заворачиваете всё заново в longpollapi?

type LongPollApiT m = ApiT LongPollError (StateT LongPollState m)
?

Или вам нужно сохранять состояние между ошибками?

Чтобы бот работал, нужно подключиться к LongPoll, а для этого нужно иметь подключение к API.
BotT -> LongPollT -> ApiT

Мне кажется это верным.

Почему вы StateT поместили внутрь, а не снаружи?

Потому что ApiT уже трансформер

Можно его использовать не только для IO

Разница между Except(State) и State(Except) в том, что в первом случае конечное состояние доступно, даже если была ошибка, во втором же — "откатывается" (теряется)