Meta.VALUE
Type signature to describe the type dependent value of a type.
type 'a t
The type for the key value that depends on 'a.
'a