|=  n=@ud
=/  a=@ud  0
=/  b=@ud  1
|-
?:  =(n 0)  a
$(a b, b (add a b), n (dec n))