По-моему, монада конкретнее, чем аппликатив

ну да, "минимизировать" = "требовать меньше всего"

В случае Codensity такой подход очень выручает. Когда ты работаешь с произвольной структурой, а вынуть из Codendsity-обёртки можешь только аппликатив

"конкретнее" это больше

А, если с такой стороны смотреть

Monad даёт больше информации, чем Applicative

Со всёх сторон больше, кроме количества букв

чем меньше требований, тем лучше.

чем меньше можно потратить для достижения того же результата, тем лучше

Я бы понял сразу, если бы прозвучал термин "Абстрактнее"

А аппликатив абстрактнее монады?🤔

А, ну, в принципе, да, любая монада - аппликатив, но не любой аппликатив - монада.
Следовательно, аппликативов больше.

Да, потому что монада конкретнее аппликатива 😜

это какое-то рекурсивное определение

идиоматичненько

А вот не факт! Чисто технически, осталось ещё показать что существует хотя бы один апликатив удовлетворяющий условию. Ну это я так, лирика.

увы, я теоркат не учил, неграмотный-с

А ты учи

Чтобы потом как в пасте

Мой батя ебашит вообще адовый код.
Ну такой вот примерно алгоритм усредненный, потому что вариаций масса.
Берется проект, он пишется на хаскеле, императивщина - это не про моего батю. Он берет, делает пандорический захват и лифтит в монаду. Строит рекурсивную схему, как МОНАДИЧЕСКИЙ ТРАНСФОРМЕР ИЗ КАТЕГОРИИ ЭНДОФУНКТОРОВ! Для этого он предпочитает зигистоморфный препроморфизм. Всё это метациклически вычисляется  до результата. Потом не дебажится и отправляется в прод. Потом батя запускает и щедро добавив оперативки начинает делать бенчмарки. При этом убивает на машине почти все остальные процессы, кроме инита. Делает бенчмарки и приговаривает полушепотом ух бля. При этом у него на лбу аж пот выступает. Любезно мне иногда предлагает выучить хаскель, но я отказываюсь. Надо ли говорить о том какой дичайший фриз потом? Вонища от перегревшегося процессора такая, что обои от стен отклеиваются

А причём тут теоркат, это обыкновенная логика.