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

EP>Допустим два типа слишком слабо связанны, и общий тип представляет процентов 5% от их возможностей — думаю в таком случае лучше Variant.

Ну значит хотя бы при полном совпадении не должен генерироваться variant.

EP>В крайнем случае можно дать возможность получить из Varaint какой-то общий тип, с помощью отдельного явного вызова.

Согласен.