Interesting. It wasn't that long ago that a team I was on was looking for a way to do something similar in TS. In our case we wanted our types to generate JSO

Interesting. It wasn't that long ago that a team I was on was looking for a way to do something similar in TS. In our case we wanted our types to generate JSON schemas for ajv so we could do away with writing them by hand. This seems accomplish a large part of what we needed at the time.