An extractor so NoSuccess(msg, next) can be used in matches.
NoSuccess(msg, next)
The names of the product elements
The name of the type