The names of the product elements
The name of the type
Construct an empty Path rooted at the given type.
Path