A field value of an erased type.
Value may call the appropriate typed recording methods on
the visitor passed to their
record method in order to indicate how
their data should be recorded.
Visits this value with the given