标签：类型约束