I have a finite set of things all of the same type, and I wish to represent them in a strongly-typed way. I\'d like to be able to manipulate the complete set and easily extr
