Examples from paper "Monadic Parser Combinators"