let {a=x, b=y} = {a=1, b=2} in x + y == 3