Test deriving Typeable for promoted data constructors with AutoDeriveTypeable
Add test for T5863

As apparently there is already a test named T5863,
I named this one T5863a.
Update output for T2604