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