The names of the product elements
The names of the product elements
The name of the type
The name of the type
The mirrored *-type
The mirrored *-type
Create a new instance of type T
with elements taken from product p
.
Create a new instance of type T
with elements taken from product p
.