pazukdev

1. class Car - чертеж автомобиля.
2. class Car1 extends Car - создание чертежа новой модели автомобиля (Car1) на основе чертежа старой (Car).
3. new Car() - производство 1 шт. автомобиля Car согласно чертежу.

Вопрос был бы интереснее, если бы спрашивали про полностью абстрактный класс vs интерфейс.
Если не вдаваться в подробности, полностью абстрактный класс может иметь состояние, а интерфейс - нет. Отсюда вытекает использование: если у наследников должно быть общее описание состояния - использовать абстрактный класс, во всех других случаях - интерфейс.

Почему нельзя, когда можно?

public class SomeSubClass {
    
    void someMethod() throws CloneNotSupportedException {
        this.clone();
    }
    
}

Этот код компилируется.

Суть я понимаю, что они позволяют получать доступ к переменным других классов с уровнем доступа private

Они позволяют получать контролируемый доступ. Любая сущность должна быть доступна для внешней среды только через интерфейс. Public методы - это интерфейс любго класса. Setter'ы и Getter'ы - часть этого интерфейса.
Хотя аксессоры действительно в какой-то мере могут казаться формализмом.

Интерфейсы в Java не наследуются от Object.

1, Абстракция нужна везде, где будет проходить ось изменений системы. А интерфейс - основное средство достижения абстракции в Java. Из этого следует п.2.
2. Всегда, когда нужна абстракция (за исключением случаев, когда абстракция должна обладать состоянием. В таком случае вместо интерфейса придется использовать абстрактный класс т.к. интерфейс не может обладать состоянием).

Body могут (и обязательно должны) иметь static, default (Java 8) и private (Java 9) методы.

1. Класс - это всегда интерфейс + реализация (хотя бы частичная).
2. Интерфейс - это способ полностью отделить интерфейс от реализаци. Т.е. полностью абстрактный класс. Служит для описания котракта поведения класса для взаимодействия с внешним окружением.

Монада - это абстракция над цепочкой связанных вычислений. Контейнер, который принимает текущее состояние и функцию, которая принимает это состояние в качестве аргумента и возвращает новое состояние. Этот контейнер инкапсулирует среду (контекст) выполнения вычислений с учетом возможных исключений; на выходе только ожидаемые значения. Вобщем, just a monoid in the category of endofunctors (c).