Type-class representing evidence that a type T wraps a single value of type V.
Type-class representing evidence that a type T wraps a single value of type V.
T may be a sealed hierarchy as long as all concrete implementations are case-classes with a single V parameter.