def save(self, filename=None):
        filename = Path(filename) if filename is not None else self.filename
        with filename.open("w") as f:
            f.write(self.yaml)
def insert(root, key):
    left, right = split(root, key)
    return merge(merge(left, Treap(key)), right)