Правильно ли написан деструктор?

union value {
    char letter;
    char *bytes;
    unsigned int number;
    
};
 
class Cell {
private:
    value * CAR;
    Cell * CDR;
public: 
    Cell(value * CAR);
    Cell(value * CAR, Cell * CDR);
    Cell();
    ~Cell();
    value * getCAR();
    Cell * getCDR();
    void setCAR(value * CAR);
    void setCDR(Cell * CDR);
};

Cell::~Cell() {
    delete CAR;
    *CDR = nullptr;
}

Cell::~Cell() {
    delete CAR;
}

Cell::~Cell() {
    delete CAR;
    *CDR = nullptr;
}

*CDR = CDR(nullptr);

include <iostream>
 
class Foo {
private:
  int* m_data;
  Foo*  m_next;
public:
  Foo(int* data) {
    m_data =data;
    m_next = nullptr;
    std::cout << "INFO: Foo(data=" << m_data << ", next=" << m_next << ")\n";
  }
  Foo(int* data, Foo* next) {
    m_data = data;
    m_next = next;
    std::cout << "INFO: Foo(data=" << m_data << ", next=" << m_next << ")\n";
  }
  ~Foo() {
    std::cout << "INFO: ~Foo(data=" << m_data << ", next=" << m_next << ")\n";
    delete m_data;
    if (m_next) // Без проверки, следующая строка является местом отказа
      *m_next = nullptr; // Ошибка, тоже самое что *m_next=Foo(nullptr), неявное приведение типов
  }
  // Выполняем правило пяти:
  Foo(const Foo& right) = default;
  Foo& operator=(const Foo& right) = default;
  Foo(Foo&& right) = default;
  Foo& operator=(Foo&& right) = default;
  int* getData() {
    return m_data;
  }
};
 
int main() {
  int* a = new int(10);
  int* b = new int(20);
  Foo* first = new Foo(a);
  Foo* second = new Foo(b, first);
  std::cout << "Address data of first:  ";
    std::cout << first->getData() << std::endl;
  std::cout << "Address data of second: ";
    std::cout << second->getData() << std::endl;
  delete second;
  std::cout << "Address data of first:  ";
    std::cout << first->getData() << std::endl;
  delete first;
  delete b; // Ошибка, уже удаляли
  delete a; // Ошибка, уже удаляли
  return 0;
}