A higher-order collection and an instance of variable-order Cyc collection. Instances of type of collection type are types of collection types, that is, collections whose instances are collections of (not necessarily first-order) collections. Thus any instance of fixed-order Cyc collection (q.v.) of order greater than or equal to 3 is a specialization of type of collection type.