pair_fib.~

nextpair (@z ->) (-> @y) = @z -> unpair (fst:-> @f) (snd:-> copy (-> id ->:fst) (-> + @f ->:snd) pair -> @y)
next (@x ->) (-> @y) = nextpair (fib (@x - 1)) -> @y
fib (@x ->) (-> @y) = @x -> if (@x == 0 || @x == 1) (then:-> (1, 1) ->) (else:-> next ->) merge -> @y

:{
@x'0 -> fib -> unpair (fst:-> @t) (snd:-> output)
@x'0 + 1 -> @x
:}