diff --git a/src/HTFTestSuite.hs b/src/HTFTestSuite.hs
--- a/src/HTFTestSuite.hs
+++ b/src/HTFTestSuite.hs
@@ -4,11 +4,12 @@
 import THInstanceReification.Prelude.Basic
 import THInstanceReification.Prelude.TH
 import THInstanceReification
+import HTFTestSuite.Prerequisites
 
+
 main = htfMain $ htf_thisModulesTests
 
 
-data A = A
 
 test_existingInstance = do
   assertBool $ read $( do
@@ -24,10 +25,6 @@
       stringE $ show $ r
     )
 
-
-class MultiParamClass a b c
-instance (Eq a) => MultiParamClass a Int Char
-
 test_existingInstanceOnMultiParamClass = do
   assertBool $ read $( do
       int <- [t|Int|]
@@ -42,3 +39,33 @@
       a <- [t|A|]
       stringE . show =<< isProperInstance ''MultiParamClass [a, int, char]
     )
+
+
+test_compositeTypes = do
+  assertBool $ read $( do
+      t <- [t|(Int, Char, Char)|]
+      stringE . show =<< isProperInstance ''Show [t]
+    )
+
+test_compositeTypesMultiParam = do
+  assertBool $ read $( do
+      t <- [t|(Int, Char, Char)|]
+      int <- [t|Int|]
+      char <- [t|Char|]
+      stringE . show =<< isProperInstance ''MultiParamClass [t, int, char]
+    )
+
+
+test_polyTypes = do
+  assertBool $ read $( do
+      t <- [t|(B Char)|]
+      stringE . show =<< isProperInstance ''Show [t]
+    )
+
+test_synonyms = do
+  assertBool $ read $( do
+      t <- [t|C|]
+      stringE . show =<< isProperInstance ''Show [t]
+    )
+
+
diff --git a/src/HTFTestSuite/Prerequisites.hs b/src/HTFTestSuite/Prerequisites.hs
new file mode 100644
--- /dev/null
+++ b/src/HTFTestSuite/Prerequisites.hs
@@ -0,0 +1,11 @@
+module HTFTestSuite.Prerequisites where
+
+import Prelude
+
+data A = A
+newtype B a = B a deriving (Show)
+type C = (B Int, B Char)
+
+
+class MultiParamClass a b c
+instance (Eq a) => MultiParamClass a Int Char
diff --git a/src/THInstanceReification/Prelude/Basic.hs b/src/THInstanceReification/Prelude/Basic.hs
--- a/src/THInstanceReification/Prelude/Basic.hs
+++ b/src/THInstanceReification/Prelude/Basic.hs
@@ -44,13 +44,13 @@
 import System.IO as Exports (Handle, hClose)
 import System.IO.Error as Exports
 import Unsafe.Coerce as Exports
-import GHC.Exts as Exports hiding (Any, traceEvent)
+import GHC.Exts as Exports hiding (Any, traceEvent, traceM, toList)
 import GHC.Generics as Exports (Generic)
 import GHC.IO.Exception as Exports
 import Data.IORef as Exports
 import Data.STRef as Exports
 import Control.Monad.ST as Exports
-import Debug.Trace as Exports
+import Debug.Trace as Exports hiding (traceM)
 
 -- placeholders
 import Development.Placeholders as Exports
diff --git a/th-instance-reification.cabal b/th-instance-reification.cabal
--- a/th-instance-reification.cabal
+++ b/th-instance-reification.cabal
@@ -1,7 +1,7 @@
 name:
   th-instance-reification
 version:
-  0.1.2
+  0.1.3
 synopsis:
   Fixed versions of instances reification functions
 description:
@@ -100,16 +100,17 @@
     src
   main-is:          
     HTFTestSuite.hs
+  other-modules:
+    HTFTestSuite.Prerequisites
   ghc-options:
     -threaded
     "-with-rtsopts=-N"
   build-depends:
     -- testing:
     quickcheck-instances,
-    QuickCheck-GenT == 0.1.*,
     QuickCheck,
     HUnit,
-    HTF == 0.11.*,
+    HTF == 0.12.*,
     -- data:
     containers,
     -- debugging: