A proxy type
The Typeable class
Propositional equality
For backwards compatibility
Type-safe cast
Generalized casts for higher-order kinds
Type representations
Construction of type representations
Observation of type representations
Type-level reasoning with Typeable