diff --git a/examples/Test.hs b/examples/Test.hs
--- a/examples/Test.hs
+++ b/examples/Test.hs
@@ -8,6 +8,7 @@
 {-# LANGUAGE OverlappingInstances       #-}
 {-# LANGUAGE UndecidableInstances       #-}
 {-# LANGUAGE GADTs                      #-}
+{-# LANGUAGE DataKinds                  #-}
 {-# LANGUAGE ExistentialQuantification  #-}
 {-# LANGUAGE StandaloneDeriving         #-}
 
diff --git a/instant-generics.cabal b/instant-generics.cabal
--- a/instant-generics.cabal
+++ b/instant-generics.cabal
@@ -1,7 +1,7 @@
 category:               Generics
 copyright:              (c) 2011 Universiteit Utrecht, 2012 University of Oxford
 name:                   instant-generics
-version:                0.5
+version:                0.6
 license:                BSD3
 license-file:           LICENSE
 author:                 José Pedro Magalhães
diff --git a/src/Generics/Instant/TH.hs b/src/Generics/Instant/TH.hs
--- a/src/Generics/Instant/TH.hs
+++ b/src/Generics/Instant/TH.hs
@@ -372,8 +372,8 @@
           ((EqualP t1 t2):r)
 #endif
             -> let (t1s,t2s) = genTypeEqs r
-               in  ( ConT '(,) `AppT` (substTyVar vsN t1) `AppT` t1s
-                   , ConT '(,) `AppT` (substTyVar vsN t2) `AppT` t2s)
+               in  ( TupleT 2 `AppT` (substTyVar vsN t1) `AppT` t1s
+                   , TupleT 2 `AppT` (substTyVar vsN t2) `AppT` t2s)
           (_:r) -> genTypeEqs r -- other constraints are ignored
           [] -> baseEqs