let x : T = y in e