I'd be very interested in how to replicate parsing like this. Slow typescript inference has stalled my own exploration into things like this.