ChoiceId: t.Type<ChoiceId> = ...