The set type used by this library.
A map is constructed from a variadic list of types, which must be pairwise disjoint.