Another example of Typl inference

[getify]

function foo(v) {
    return v;
}

var x = foo(2);
x = "hello";  // error: expected 'int' but found 'string'