Here is a great explanation of parser combinators, not tied to any specific implementation:

https://qntm.org/combinators