类型变体