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

EP>>Думаю если if без else это Maybe, то по идее if+else это Variant
AVK>Думаю все таки Variant должен быть только если общий тип равен object.

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