TypeScript-first schema validation with static type inference

TypeScript-first schema validation with static type inference