类型与特质/所属类型探索