Lambda 0 └╴Let 1 ├╴tup2 │ ├╴(*) │ │ ├╴var:0 │ │ └╴2 │ └╴(*) │ ├╴var:0 │ └╴3 └╴Let 2 ├╴sel1 │ └╴var:1 └╴Let 3 ├╴sel2 │ └╴var:1 └╴(*) ├╴(-) │ ├╴var:2 │ └╴var:3 └╴(-) ├╴var:3 └╴var:2