Встречайте: Free-Parsec 2.0!

Полноценные монадические парсеры на С++, аналог хаскельного Parsec.

https://github.com/graninas/cpp_parsec_free

И даже два движка!

Потренировавшись на кошках на "нормальной" Free-монаде, я добавил Church-encoded Free monad. Два движка - потому что дилемма: "нормальная" фри монада медленнее и проще, а закодированная по Черчу (GPT почему-то называет ее "церковной") - сложнее и быстрее.
По сути, то же самое я когда-то провернул и с монадической STM для С++. Тоже два движка, тоже полноценная реализация хаскельной STM.

https://github.com/graninas/cpp_stm_free

Моя архитектура и мои подходы универсальны, работоспособны, продуктивны и прагматичны. Я создал десяток-другой проектов в доказательство, а также написал три книги.

Functional Design and Architecture: Examples in Haskell
Проектирование на уровне типов (Pragmatic Type-Level Design)

И это все доступно уже лет десять как.