"seqlib" libload. [[1] 2 [[3 4] 5] [[[]]] [[[6]]] 7 8 []] treeflatten. (* output: [1 2 3 4 5 6 7 8] *)