let x : T = v in let y : U = w in e