Typeable instances for various types. The reason for having these in a separate module is that it might be desired to have these instances with other type representations.

For example, instead of the instance

(BoolType :<: t) => Typeable t Bool

one might want to have

Typeable MyTypeRep Bool