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

EP>Думаю если if без else это Maybe, то по идее if+else это Variant

Думаю все таки Variant должен быть только если общий тип равен object.