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

TODO: Comment