类型变量镜像 构造函数

类型变量镜像()