let {a={b}} = {a={b=1}} in b == 1