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