Как типизировать схему валидации Zod и вывести тип?

Zod позволяет описать схему валидации, а затем через z.infer<typeof schema> автоматически вывести TypeScript-тип из этой схемы. Тип всегда синхронизирован со схемой, что убирает дублирование. Это работает для объектов, массивов, union, enum, рекурсивных структур и трансформаций.