Да, я тоже заметил))) Ну так что насчёт всё таки отыскать ту статью?
револьвентна -> релевантна 
Что-то не находится - Вы знаете.
Но та статья была про другое - там были расширенные интерфейсы.
Здесь - классы типов - они идеологически сделаны так, что instance класса типов должен быть конкретный класс, имеющий реализацию. То же - в реализации интерфейсов - интерфейс должен реализовывать конкретный класс, если он не реализует какой-то метод, то ошибка. Наследование классов типов друг от друга - это совсем другое, делается без instance.
Ещё раз повторюсь - они не готовы. Если будет сильно раздражать, я выкушу все темы из issue
Институт математики, механики и компьютерных наук ЮФУ, 2005–2021