pub trait Key: Any { type Value: Any; }
This trait defines the relationship between keys and values in a TypeMap.
It is implemented for Keys, with a phantom associated type for the values.
The value type associated with this key type.