-- * Type representations
TypeRep, -- abstract, instance of: Eq, Show, Typeable
TyCon, -- abstract, instance of: Eq, Show, Typeable
+ showsTypeRep,
-- * Construction of type representations
mkTyCon, -- :: String -> TyCon
showChar ' ' .
showArgs tys
+showsTypeRep :: TypeRep -> ShowS
+showsTypeRep = shows
+
instance Show TyCon where
showsPrec _ (TyCon _ s) = showString s