I was mostly replying to your claim:

> I think it is best parsing library, and you should always use it instead of other solutions.

uu-parsinglib is indeed not based on arrows, but it does have some other features that make it stand out.

So my previous mail was mostly to show that there are other interesting points in the design space.

On July 9, 2021 11:49:38 PM GMT+02:00, Askar Safin <safinaskar@mail.ru> wrote:
Пятница,  9 июля 2021, 10:08 +03:00 от "Jaro Reinders" <jaro.reinders@gmail.com>:
You might also want to check out 'uu-parsinglib' [1]

Thanks for answer. It is essential for me to have unbiased choice, ability to embed a monad and ability to check parsing errors first and then semantic errors. I proved that this is possible with arrows only (in my previous letter and in June letters). So libraries you mentioned will help me only if they are arrow-based. I downloaded this libraries (uu-parsinglib, gll, grammatical-parsers) and found no line similar to "instance Arrow". So this libraries are not for me

==
Askar Safin
http://safinaskar.com
https://sr.ht/~safinaskar
https://github.com/safinaskar