Lambda 0 └╴Let 1 ├╴max │ ├╴5 │ └╴(+) │ ├╴6 │ └╴7 └╴condition ├╴(==) │ ├╴var:0 │ └╴10 ├╴var:1 └╴var:1