let x :T = y in e