Why is there no more `var` type?