diff --git a/freer-simple.cabal b/freer-simple.cabal
index 77bfabe..71372e3 100644
--- a/freer-simple.cabal
+++ b/freer-simple.cabal
@@ -84,7 +84,7 @@ library
   build-depends:
     , natural-transformation >= 0.2
     , transformers-base
-    , template-haskell >= 2.11 && < 2.19
+    , template-haskell >= 2.11 && < 2.24
 
 executable freer-simple-examples
   import: common
diff --git a/src/Control/Monad/Freer/Internal.hs b/src/Control/Monad/Freer/Internal.hs
index de96a4c..c298790 100644
--- a/src/Control/Monad/Freer/Internal.hs
+++ b/src/Control/Monad/Freer/Internal.hs
@@ -153,7 +153,7 @@ instance Monad (Eff effs) where
   E u q >>= k = E u (q |> k)
   {-# INLINE (>>=) #-}
 
-instance (MonadBase b m, LastMember m effs) => MonadBase b (Eff effs) where
+instance (Monad b, MonadBase b m, LastMember m effs) => MonadBase b (Eff effs) where
   liftBase = sendM . liftBase
   {-# INLINE liftBase #-}