Data.Typeable

The Typeable class

class Typeable a

Propositional equality

data a :~: b

For backwards compatibility

type Typeable1 a

type Typeable2 a

type Typeable3 a

type Typeable4 a

type Typeable5 a

type Typeable6 a

type Typeable7 a

Type-safe cast

Generalized casts for higher-order kinds

A canonical proxy type

data Proxy t

Type representations

typeRepFingerprint

data TyCon

tyConFingerprint

Construction of type representations

Observation of type representations