细化类型