syntactic-3.6: tests/gold/fib.txt
Lam v3
└╴Fst
└╴ForLoop
├╴v3
├╴Pair
│ ├╴0
│ └╴1
└╴Lam v2
└╴Lam v1
└╴Pair
├╴Snd
│ └╴v1
└╴(+)
├╴Fst
│ └╴v1
└╴Snd
└╴v1