Можете объяснить назначение и использование оператора Infer в TypeScript?