Parser Combinators in the TypeScript Type System - View it on GitHub