Type inference with var

Complete and Continue