标签: 类型萃取