diff --git a/typerbole.cabal b/typerbole.cabal
--- a/typerbole.cabal
+++ b/typerbole.cabal
@@ -1,5 +1,5 @@
 name:                typerbole
-version:             0.0.0.1
+version:             0.0.0.2
 synopsis:            A typeystems library with exaggerated claims
 description:         Please see README.md
 license:             BSD3
@@ -38,20 +38,20 @@
                      , Data.Graph.Inductive.Helper
   build-depends:       base >= 4.7 && < 5
                      , containers >= 0.5 && < 0.6
-                     , data-ordlist
-                     , either
-                     , semigroups
+                     , data-ordlist < 0.4.8
+                     , either < 4.5
+                     , semigroups < 0.19
                      , bifunctors >= 5
                      , fgl >= 5.5 && < 5.6
-                     , QuickCheck
-                     , syb
-                     , mtl
+                     , QuickCheck < 2.9
+                     , syb < 0.7
+                     , mtl < 2.3
                      , generic-random == 0.1.1.0
-                     , lens
-                     , template-haskell
-                     , th-lift
-                     , megaparsec
-                     , safe
+                     , lens < 4.14
+                     , template-haskell < 2.11
+                     , th-lift >= 0.7 && < 0.8
+                     , megaparsec < 5
+                     , safe < 0.4
   ghc-options:         -Wall
                        -fno-warn-type-defaults
                        -fno-warn-unused-do-bind