ChoiceValue: t.Type<ChoiceValue> = ...