Leftist tree is a simple priority queue.