diff --git a/cabal.project.local b/cabal.project.local
--- a/cabal.project.local
+++ b/cabal.project.local
@@ -1,2 +1,3 @@
-tests: true
+constraints: micro-recursion-schemes -template-haskell
+-- tests: true
 documentation: true
diff --git a/micro-recursion-schemes.cabal b/micro-recursion-schemes.cabal
--- a/micro-recursion-schemes.cabal
+++ b/micro-recursion-schemes.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: micro-recursion-schemes
-version: 5.0.2.1
+version: 5.0.2.2
 license: BSD3
 license-file: LICENSE
 copyright: Copyright (C) 2008-2015 Edward A. Kmett, 2018 Vanessa McHale
@@ -35,16 +35,19 @@
     other-extensions: TypeFamilies Rank2Types FlexibleContexts
                       FlexibleInstances GADTs StandaloneDeriving UndecidableInstances
     ghc-options: -Wall
-    build-depends:
-        base >=4.10 && <5
     
     if flag(template-haskell)
         exposed-modules:
             Data.Functor.Foldable.TH
         build-tools: cpphs -any
         build-depends:
+            base >=4.10 && <5,
             th-abstraction >=0.2.4 && <1,
             template-haskell >=2.5.0.0 && <2.14
+    else
+        build-depends:
+            base >=4.9 && <5,
+            bifunctors -any
 
 test-suite Expr
     type: exitcode-stdio-1.0