TypeScript: Typechecker-Assisted Runtime Data Validation
rwoll.dev