Извличане на Typeable и данни за GADT?

Използвайки:

{-# LANGUAGE GADTs #-}                                                                                                                                                                                                                       
{-# LANGUAGE StandaloneDeriving #-}                                                                                                                                                                                                          
{-# LANGUAGE DeriveDataTypeable #-} 

И предвид следния тип данни:

data Event a where                                                                                                                                                                                                                           
    PureE  :: a                   -> Event a                                                                                                                                                                                                 
    MapE   :: (a -> b) -> Event a -> Event b                                                                                                                                                                                                 

deriving instance Typeable Event                                                                                                                                                                                                             
deriving instance Data a => Data (Event a)  

Целта ми е да използвам пакета uniplate, който изисква екземпляра Data.

Може ли GHC да извлече Typeable и Data автоматично? Тъй като 7.8 GHC трябва да може да го направи и afaik поне за Typeable е задължително.

Вероятно бих могъл да напиша свой собствен екземпляр Data ... но защо да го правя, ако GHC може просто да го извлече вместо мен?