let x : A = y in x