高级类型 #

待完善