类型:归结