There are libraries that let you define refinement types[0] but it does require a bit of runtime overhead, and the added complexity depends on the library. [0]

There are libraries that let you define refinement types[0] but it does require a bit of runtime overhead, and the added complexity depends on the library. [0] https://zod.dev/?id=refine https://zod.dev/?id=refine as an example