let x: T = y in e