Extractor function object for a Good Arr Sequence of length 0.
The names of the product elements
The name of the type
The mirrored *-type
Extractor method for a Good Arr Sequence of length 0.
Create a new instance of type T with elements taken from product p.
T
p