Template Haskell does not seem to support StandaloneDeriving
I want to write some TH to deriving Show instance recursively on composite data types, however, I think I have to use StandaloneDeriving which TH does not support this. At least, I did not see it in Dec type in GHC 7.8.3