A tagged priority queue is the tagged version of a priority queue.