let {a | Number, b | Number} = {a=1, b=2} in
a + b == 3