Как справиться с побочным эффектом с Applicative?

Я вижу везде, что

Есть ли монада, у которой нет соответствующего монадного трансформатора (кроме IO)?

Почему побочные эффекты смоделированы как монады в Haskell?

Кто-нибудь может дать несколько советов о том, почему нечистые вычисления в Хаскеле моделируются как монады?Я имею в виду, что монада - это просто интерфейс ...

Что именно делает Option монадой в Scala?

Понимание случайной монады в Scala

Это продолжение моего предыдущеговопросТрэвис Браун указал, что

Почему не может быть экземпляра MonadFix для продолжения монады?

Как мы можем доказать этопродолжение монада не имеет действительного экземпляра

Государственная Монада, почему не кортеж?

Как обрабатывать монаду `Reader` и` Try`?

Примеры монады, чья аппликативная часть может быть лучше оптимизирована, чем часть монады

В одной дискуссии я слышал, чтоApplicative Интерфейс некоторых парсеров реализован иначе, более эффективно, чем ихMonad интерфейс. Причина в том, что сApplicative мы знаем все «эффекты» заранее, до того, как будут выполнены все эффективные ...

Как заставить ReaderT работать с другим монадным преобразователем?

Я хотел бы встроить