The names of the product elements
The name of the type
Look for an implicit Help[T]
Help[T]
Option message for args
args