I am highly interested in type programming lately, exactly the kind of thing you're doing here. Do you have any other resources that inspired you? Here are some of my favorites:

https://gist.github.com/hediet/63f4844acf5ac330804801084f87a...

https://github.com/codemix/ts-sql

https://github.com/jamiebuilds/json-parser-in-typescript-ver...

https://gist.github.com/acutmore/9d2ce837f019608f26ff54e0b1c...