List/length Natural [ 1 ]