The names of the product elements
The name of the type
Factory apply method for success wraps a raw value.
Extractor for success.
Implicit evidence for EqT for type Succ.