diff --git a/free-theorems.cabal b/free-theorems.cabal
--- a/free-theorems.cabal
+++ b/free-theorems.cabal
@@ -1,5 +1,5 @@
 name:           free-theorems
-version:        0.3.1.2
+version:        0.3.1.3
 license:        PublicDomain
 license-file:   LICENSE
 author:         Sascha Boehme
@@ -17,7 +17,7 @@
     In the last two sublanguages, also inequational free theorems
     may be derived in addition to classical equational results.
 category:       Language
-tested-with: 	GHC==6.8.2, GHC==6.10.1
+tested-with: 	GHC==6.8.2, GHC==6.10.1, GHC==6.12.3
 cabal-version:  >= 1.2.3
 build-type:	Simple
 
diff --git a/src/Language/Haskell/FreeTheorems/Intermediate.hs b/src/Language/Haskell/FreeTheorems/Intermediate.hs
--- a/src/Language/Haskell/FreeTheorems/Intermediate.hs
+++ b/src/Language/Haskell/FreeTheorems/Intermediate.hs
@@ -317,7 +317,7 @@
             -- hack! should be somehow better implemented
 	    -- if BottomReflecting is not present, we had
             -- TypeAbsLab quantification in (SubsetWithSeq Equational)
-            res'  = if elem BottomReflecting res then res'' else filter (/= Total) res''
+            res'  = if elem BottomReflecting res || elem Total res then res'' else filter (/= Total) res''
          in if rv == r
               then FunAbs ri fv ts (res' ++ (classConstraints res)) rel'
               else rel