User: z.infer<typeof User>