Thank you for clarifying and providing the use case. It makes total sense to me! I'm adding this to my to-do list.

There can be many potential use cases, such as providing typing information to the IDE's LSP, ejecting them directly to the code as you suggested, integrating them into the CI process, etc.

I'm very open to providing all those possibilities, and there's no reason to limit how you use the typing information when you possess them automatically.