shared interface SwitchTurnChoice {
TurnChoiceKind Kind { get const; }
const Pokemon@ User { get const; }
Pokemon@ NewPokemon { get const; }
BaseTurnChoice@ opImplCast();
}