[ [] swap times
    [ 0 i^ of 1 join 0 i of
      join nested join ] ]  is identity ( n --> [ )

5 identity echo