9.3 有类型变量