Здравствуйте, Pom, Вы писали:

K>>Задача GenScatterHierarchy сгенерить класс который наследуется от всех классов, полученных инстанцированием Unit'а
K>>всеми типами из типа списков.
K>>А у тебя что получается?
K>>Если я правильно понял, получается что в (1) Unit может инстанцироваться списком типов, что совсем не то что нам требуется.

Pom>Почему? Я думал что в списке типов считается, что голова сама не является списком типов. Или это не так?
Да, ты прав. Сейчас посмотрел в исходники Loki, действительно получается что Head всегда не является списком типов.