A collection of Immutable Tuple classes that represent sets of a fixed length where every element has a specific type.