|=  a=(list)
=/  n=@  0
|-
?~  a  !!
?:  =(2 n)  i.a
$(a t.a, n +(n))