Data.Typeable does not use qualified names
The !TyCon in Data.Typeable does not provide the qualified type name. This can be very annoying if you try to use a !TypeRep as a stored representation of a type (within a run it's OK with the equality on !TypeRep).
I suggest that the !TyCon be enhanced to contain a qualified name, but that the current API be maintained, except for adding some new functions to access qualified name.
If prodded I could provide the Data.Typeable implementation and the fix to ghc.