Parsec-like monadic parser combinator