Data.Typeable

# The Typeable class

class Typeable a

# Type-safe cast

cast
gcast

# Type representations

data TypeRep
data TyCon
showsTypeRep

# Construction of type representations

mkTyCon
mkTyConApp
mkAppTy
mkFunTy

# Observation of type representations

splitTyConApp
funResultTy
typeRepTyCon
typeRepArgs
tyConString
typeRepKey

# The other Typeable classes

class Typeable1 t
class Typeable2 t
class Typeable3 t
class Typeable4 t
class Typeable5 t
class Typeable6 t
class Typeable7 t
gcast1
gcast2

# Default instances

typeOfDefault
typeOf1Default
typeOf2Default
typeOf3Default
typeOf4Default
typeOf5Default
typeOf6Default