Choice: t.Type<Choice> = ...