■ [Haskell] Deriving clause for classes Typeable and Data

Typeableのインスタンスにするために、

data X = X
instance Typeable X where
    typeOf _ = mkTyConApp (mkTyCon "X") []

のようなことをやっていたのですが、

data X = X deriving Typeable

とできるのですね…（-fglasgow-extsが必要です）。