I recently wrote a little intro to parser combinators in Haskell. It may be of interest to readers here: https://gist.github.com/tel/df3fa3df530f593646a0

In particular I exploit the structure of a parser combinator type as a monad transformer.