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