diff --git a/AspectAG.cabal b/AspectAG.cabal
--- a/AspectAG.cabal
+++ b/AspectAG.cabal
@@ -10,7 +10,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             0.7.0.0
+version:             0.7.0.1
 
 -- A short (one-line) description of the package.
 synopsis:            Strongly typed Attribute Grammars implemented using type-level programming.
@@ -88,12 +88,12 @@
                        InstanceSigs
 
   -- Other library packages from which modules are imported.
-  build-depends:       base >=4.11 && <1.18,
+  build-depends:       base >=4.11 && <4.18,
                        containers,
                        ghc-prim,
                        mtl >= 2.0,
-                       poly-rec >=0.6 && <0.7,
-                       requirements >=0.6 && <0.7,
+                       poly-rec >=0.7.0 && <0.7.1,
+                       requirements >=0.7.0 && <0.7.1,
                        template-haskell >= 2.13,
                        loch-th
  
diff --git a/src/Language/Grammars/AspectAG.hs b/src/Language/Grammars/AspectAG.hs
--- a/src/Language/Grammars/AspectAG.hs
+++ b/src/Language/Grammars/AspectAG.hs
@@ -32,7 +32,6 @@
 {-# LANGUAGE AllowAmbiguousTypes       #-}
 {-# LANGUAGE UnicodeSyntax             #-}
 {-# LANGUAGE ImpredicativeTypes        #-}
-{-# LANGUAGE DatatypeContexts        #-}
 
 module Language.Grammars.AspectAG
   (