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.
3.4.4.1.1.1 Examples of Data-directed Destructuring by Lambda Lists