The names of the product elements
The name of the type
The mirrored *-type
Format this document on writer and try to set line breaks so that the result fits in width columns.
writer
width
Create a new instance of type T with elements taken from product p.
T
p