Data.TypeRep

Helper types

Type representations

class Typeable t a

data TypeRep t a

class TypeEq t u

class Witness p t u

class PWitness p t u

Dynamic types

data Dynamic t

Misc.

class Any a

class ShowClass p

Sub-universes

class SubUniverse sub sup