diff --git a/Language/C/Inline/TH.hs b/Language/C/Inline/TH.hs
--- a/Language/C/Inline/TH.hs
+++ b/Language/C/Inline/TH.hs
@@ -135,10 +135,7 @@
     substitute _subst ty
       = ty
     
-    substituteCxt subst cxt = map (substitutePred subst) cxt
-    
-    substitutePred subst (ClassP name tys) = ClassP name (map (substitute subst) tys)
-    substitutePred subst (EqualP ty1 ty2)  = EqualP (substitute subst ty1) (substitute subst ty2)
+    substituteCxt subst cxt = map (substitute subst) cxt
     
     substituteName []               tv     = VarT tv
     substituteName ((arg, tv):args) thisTv
diff --git a/language-c-inline.cabal b/language-c-inline.cabal
--- a/language-c-inline.cabal
+++ b/language-c-inline.cabal
@@ -1,7 +1,7 @@
 Name:                   language-c-inline
-Version:                0.7.9.1
+Version:                0.7.9.2
 Cabal-version:          >= 1.9.2
-Tested-with:            GHC == 7.6.3, GHC == 7.8.3
+Tested-with:            GHC == 7.10.2
 Build-type:             Simple
 
 Synopsis:               Inline C & Objective-C code in Haskell for language interoperability