Data.Typeable

# The Typeable class

class Typeable a

typeRep

# Propositional equality

data a :~: b

# For backwards compatibility

typeOf

typeOf1

typeOf2

typeOf3

typeOf4

typeOf5

typeOf6

typeOf7

type Typeable1 a

type Typeable2 a

type Typeable3 a

type Typeable4 a

type Typeable5 a

type Typeable6 a

type Typeable7 a

# Type-safe cast

cast

eqT

gcast

# Generalized casts for higher-order kinds

gcast1

gcast2

# A canonical proxy type

data Proxy t

# Type representations

data TypeRep

showsTypeRep

data TyCon

tyConString

tyConPackage

tyConModule

tyConName

# Construction of type representations

mkTyCon3

mkTyConApp

mkAppTy

mkFunTy

# Observation of type representations

splitTyConApp

funResultTy

typeRepTyCon

typeRepArgs