Аппликативно, чтобы монадить то, что Х комонада

Можем ли мы решить это уравнение для X?Аппликативно, чтобы монадить то, что Х комонада

Монада мощнее, чем Applicative?

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

Объединить состояние с действиями ввода-вывода

Предположим, у меня есть государственная монада, такая как:

Почему исключения Haskell могут быть пойманы только внутри монады ввода-вывода?

Кто-нибудь может объяснить, почему исключения могут быть выброшены за пределы монады IO, но могут быть пойманы только внутри нее?

Haskell - глубина для каждого узла в двоичном дереве, используя монаду Reader

Монады против Стрелок

Функции, которые выглядят чисто для вызывающих, но внутренне используют мутацию

Преобразовать нотацию «do» с более чем двумя действиями, чтобы использовать функцию bind

Я знаю, что функция «связать» в следующей записи «do» эквивалентна

объединение StateT с InputT

Ограничение монады классом типов