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

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

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

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

Почему flatMap для Vector [Option [Int]], чей результат функции преобразования не является вектором [Option [Int]], является допустимым?

Смешивать и сопоставлять вычисления с учетом состояния в государственной монаде

Состояние моей программы состоит из трех значений:

Использование разных монад для понимания

Можно ли использовать разные монады для понимания? Вот код, который использует

Что именно означает «эффективный»

Снова и снова я читаю терминeffectful, но я все еще не могу дать четкое определение того, что это значит. Я предполагаю, что правильный контекст эффективенра...

Отношение свободной монады и АСТ

Я имею в виду приведенный ниже исходный код Кена Скамблера, см. ТакжеGitHub source.

Чистый функционал Генератор случайных чисел - Государственная монада

Книга 'Функциональное программирование в Scalaдемонстрирует пример чистого функционального генератора случайных чисел, как показано ниже

Определение новой монады в haskell не вызывает инстанции для Applicative

Я пытаюсь определить новую монаду и получаю странную ошибкуnewmonad.hsnewtype Wrapped a = Wrap {unwrap :: a} instance Monad Wrapped where (>>=) (Wrap...

Почему `join` не является частью класса` Monad` [дубликаты]