型变量的