Effective ATS:
Combinators for Parsing in CPS-style