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