Ну да, я тоже прямой пользы не понял.
всё очень просто, var всего-лишь экономит буквы при написании и чтении, совсем не нарушая принципов статической типизациии... в этой штуке Var s = GetSomething() ни какой беды нет, т.к. тип возвращаемый из функции не может измениться и значит s задана однозначно... если ниже по тексту вы её не так используете, то компилятор заругается... другое дело, что это немного ухудшает понимание типа s при быстром чтении, т.к. надо заморочиться и выяснить какой тип возвращает функция...