let {a | String} = {a=1} in
a