Мы тут про вары вроде тёрли. Вары разрешено применять только там, где выводимый тип очевиден, иначе код без иде не читается. Во всех остальных случаях сразу же осуждаем.
Обьективно резонный момент в теории. На практике я ни разу еще не спотыкался о то, что кто то проебался с типом, написав вар или какие то другие кейсы не всплыли ни разу