延伸类型