New types are defined using the codice_7 keyword. For functional programming, F# provides "tuple", "record", "discriminated union", "list", "option", and "result" types. A "tuple" represents a set of "n" values, where "n" ≥ 0. The value "n" is called the arity of the tuple. A 3-tuple would be represented as codice_8, where A, B, and C are values of possibly different types. A tuple can be used to store values only when the number of values is known at design-time and stays constant during execution.