Re: [GHC] #13933: Support Typeable instances for types with coercions