есть наработки через Generic

поэтому я думаю что какая-нибудь сразу генерация элиминаторов будет полезнее

не перекрывают, а расширяют!

можно сказать Plate, Biplate делают по вычислительной мощности почти тоже самое

кто-то говорил, что аппликативные парсеры связаны с контекстно-свободными грамматиками, а монадические — с контекстно-зависимыми

Звучит сомнительно и несколько мутновато. То есть вкрячить ограниченную зависимость от контекста в монадические можно в силу произвольных эффектов в продукциях, а в аппликативные нельзя, да (не используя хаки с бесконечностями, как @kanashimia выше подсказывает). Но это не даёт ответа о мощности аппликативных в рамках КС-грамматик. Ясно что аппликативные грамматики < всех КС-грамматик (контрпример E ::= E E E | "1" | ε). Также ясно, что есть LR(k) грамматики, не являющиеся аппликативными. Верно и обратное, т.к. аппликативный парсер может разбирать (некоторые) неоднозначные грамматики, а LR(k) не может. Но меня больше интересуют однозначные, и однозначные аппликативные грамматики < LR(1). Но где-то тут моя мысль буксует.

Ну так то и регулярки это свободная альтернатива

как fourmolu в VSCode запускать?

на этом я уже сижу, теперь хочу fourmolu

выбираешь и всё

действительно, спасибо

надо было Haskell включить

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

вместо памяти компьютера использовал свою

Что же это тогда стрелочные парсеры могут!
Прям представить страшно1

квантово-запутанные грамматики

Или же профункторные будет более правильно)