Эта фича + тайп классы приводит в язык тайп астронавтов и начинается хаскель, избегание успеха любой ценой, строительство башен из слоновой кости и прочая муть в виде доказывания лемм в компайл тайме
а мне для хорошего дела надо. это как ядерная энергия (fission, не знаю как перевести), можно использовать для мира, а можно для войны