There’s no macro system in TS that could analyze the type to build the parser. So, you work the other way and build the parser and then produce the type from that.