A similar question is what the following should do:
> {-# LANGUAGE DeriveGeneric, FlexibleInstances, StandaloneDeriving #-}
> import GHC.Generics
> data T a = T a
> deriving instance Generic (T Bool)
Surprisingly, it currently generates the following instances:
> instance Generic (T Bool) where ...
> type instance Rep (T a) = ...