[k__]

As far as I know you get something like that with Zod.

The inferred static types don't have names anymore, they just include the resulting types.