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