A tagged ordered collection is the tagged variation of an ordered collection.