private function flipToRed(RedBlackTree $t) { return new self($t->key(), $t->value(), $t->left(), $t->right(), RedBlackTree::RED, $t->isRoot()); }