3.4.4.2 Data-directed Destructuring by Lambda Lists ¶
In data-directed destructuring,
the pattern is a sample object of the type to be decomposed.
Wherever a component is to be extracted,
a symbol appears in the pattern;
this symbol is the name of the variable whose value will be that component.