Data.Typeable

# The Typeable class

class Typeable a

# Type-safe cast

cast

gcast

# Type representations

data TypeRep

showsTypeRep

data TyCon

tyConString

tyConPackage

tyConModule

tyConName

# Construction of type representations

mkTyCon

mkTyCon3

mkTyConApp

mkAppTy

mkFunTy

# Observation of type representations

splitTyConApp

funResultTy

typeRepTyCon

typeRepArgs

typeRepKey

data 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