Actually, having two parsers doesn't seem like a bad thing; it means that you can test one trivial property on arbitrary, randomized input: That they produce th

Actually, having two parsers doesn't seem like a bad thing; it means that you can test one trivial property on arbitrary, randomized input: That they produce the same output!