Data.Derive.Typeable
Description
Derivation for the Typeable class, as described in the Scrap
Your Boilerplate papers. This derivation generates instances for
all kinds of TypeableK classes; as such we do NOT require the
GHC-specific generic downkinding instances to provide lower kind
instances.
Also creates a typename_<the type name> value to hold the
TypeRep.