private function rotateRight(RedBlackTree $t) { return new self($t->left()->key(), $t->left()->value(), $t->left()->left(), $this->createRed($t->key(), $t->value(), $t->left()->right(), $t->right()), $t->color(), $t->isRoot()); }