[+ [+ [+ a b] c] d]
[@ [@ a b] c]
[= a [= b [+ [+ foo [* c 54]] 6]]]
