Megaparsec (https://github.com/mrkkrp/megaparsec) is a fork of parsec that has a much better interface (compatible with base and mtl) than the original, together with an extensive test-suite. Porting the parser should be simple, although we might need to fix a few things to make it compile/pass the tests.