Опитвам се да разбера как се реализира изводът за тип. По-конкретно, не виждам къде/защо тежкото повдигане на „обединението“ влиза в игра. Ще дам пример в "pseudo C#", за да изясня: Наивният начин да го направите би бил нещо подобно: Да...