let x = 1
in  let y : Integer = 2
in  x