Fwiw, we can go even further and define these combinators in terms only of typeclass constraints needed on the return monad, the "finally tagless" or "mtl" styl

Fwiw, we can go even further and define these combinators in terms only of typeclass constraints needed on the return monad, the "finally tagless" or "mtl" style. https://hackage.haskell.org/package/parsers-0.12.8/docs/Text-Parser-Combinators.html https://hackage.haskell.org/package/parsers-0.12.8/docs/Text...