原文 我正在从一些已是SumTypes的旧值类型中,定义一个新的值类型(小结构). 因此,我想在另一个SumType中,按替代类型,使用一些SumTypes. 这有多高效,包括节省空间? 我想SumType组合隐式标签,这样只有一个标签. SumType不会自动这样(因为有时想分开内部SumTypes),但可这样: alias A = SumType!(X, Y);alias B = Su