Lam v3
 └╴Fst
    └╴ForLoop
       ├╴v3
       ├╴Pair
       │  ├╴0
       │  └╴1
       └╴Lam v2
          └╴Lam v1
             └╴Pair
                ├╴Snd
                │  └╴v1
                └╴(+)
                   ├╴Fst
                   │  └╴v1
                   └╴Snd
                      └╴v1