Lam v3
 └╴Let v2
    ├╴(+)
    │  ├╴v3
    │  └╴4
    └╴Let v1
       ├╴(+)
       │  ├╴v3
       │  └╴v2
       └╴(+)
          ├╴(+)
          │  ├╴v3
          │  └╴v2
          └╴v1
