F#'s auto generalization didnt work as expected

Question

consider the follow f# code

let vl x= let tem y =(x,y) in tem in let a= vl 5 in Console.WriteLine((a "4",a 3))

where vl has the sig