类型萃取