diff --git a/Language/Syntactic.hs b/Language/Syntactic.hs
--- a/Language/Syntactic.hs
+++ b/Language/Syntactic.hs
@@ -8,6 +8,7 @@
     , module Language.Syntactic.Interpretation.Equality
     , module Language.Syntactic.Interpretation.Render
     , module Language.Syntactic.Interpretation.Evaluation
+    , module Language.Syntactic.Interpretation.Semantics
     ) where
 
 
@@ -16,4 +17,5 @@
 import Language.Syntactic.Interpretation.Equality
 import Language.Syntactic.Interpretation.Render
 import Language.Syntactic.Interpretation.Evaluation
+import Language.Syntactic.Interpretation.Semantics
 
diff --git a/Language/Syntactic/Constructs/Binding.hs b/Language/Syntactic/Constructs/Binding.hs
--- a/Language/Syntactic/Constructs/Binding.hs
+++ b/Language/Syntactic/Constructs/Binding.hs
@@ -307,7 +307,7 @@
     prjVarEqEnv = id
     modVarEqEnv = id
 
-class VarEqEnv env => AlphaEq sub1 sub2 dom env
+class AlphaEq sub1 sub2 dom env
   where
     alphaEqSym
         :: (Signature a, Signature b)
@@ -383,12 +383,13 @@
     alphaEqSym a aArgs b bArgs =
         alphaEqSym (decorExpr a) aArgs (decorExpr b) bArgs
 
-instance AlphaEq dom dom dom env => AlphaEq (Lambda ctx) (Lambda ctx) dom env
+instance (AlphaEq dom dom dom env, VarEqEnv env) =>
+    AlphaEq (Lambda ctx) (Lambda ctx) dom env
   where
     alphaEqSym (Lambda v1) (body1 :* Nil) (Lambda v2) (body2 :* Nil) =
         local (modVarEqEnv ((v1,v2):)) $ alphaEqM body1 body2
 
-instance AlphaEq dom dom dom env =>
+instance (AlphaEq dom dom dom env, VarEqEnv env) =>
     AlphaEq (Variable ctx) (Variable ctx) dom env
   where
     alphaEqSym (Variable v1) Nil (Variable v2) Nil = do
diff --git a/Language/Syntactic/Interpretation/Semantics.hs b/Language/Syntactic/Interpretation/Semantics.hs
--- a/Language/Syntactic/Interpretation/Semantics.hs
+++ b/Language/Syntactic/Interpretation/Semantics.hs
@@ -9,7 +9,10 @@
 import Data.Hash
 import Data.Proxy
 
-import Language.Syntactic
+import Language.Syntactic.Syntax
+import Language.Syntactic.Interpretation.Equality
+import Language.Syntactic.Interpretation.Render
+import Language.Syntactic.Interpretation.Evaluation
 
 
 
diff --git a/syntactic.cabal b/syntactic.cabal
--- a/syntactic.cabal
+++ b/syntactic.cabal
@@ -1,5 +1,5 @@
 Name:           syntactic
-Version:        0.8
+Version:        0.9
 Synopsis:       Generic abstract syntax, and utilities for embedded languages
 Description:    This library provides:
                 .
@@ -86,7 +86,6 @@
     containers,
     data-hash,
     mtl >= 2 && < 3,
-    QuickCheck >= 2.4,
     tagged,
     transformers >= 0.2,
     tuple >= 0.2