Lam v3
 └╴Sel1
    └╴ForLoop
       ├╴v3
       ├╴Tup2
       │  ├╴0
       │  └╴1
       └╴Lam v2
          └╴Lam v1
             └╴Tup2
                ├╴Sel2
                │  └╴v1
                └╴(+)
                   ├╴Sel1
                   │  └╴v1
                   └╴Sel2
                      └╴v1