Tbh, if you need to destructure that many elements...

# getting-started

[robin]

Tbh, if you need to destructure that many elements from the List, one might argue that a List is not the right tool for the job and should be replaced with maybe a data class or something else, as you seem to know exactly the placement of elements in the list.