diff --git a/acquire.cabal b/acquire.cabal
--- a/acquire.cabal
+++ b/acquire.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name:          acquire
-version:       0.3.3
+version:       0.3.4
 synopsis:      Abstraction over management of resources
 description:
   An implementation of the abstraction suggested in
diff --git a/library/Acquire.hs b/library/Acquire.hs
--- a/library/Acquire.hs
+++ b/library/Acquire.hs
@@ -61,7 +61,7 @@
 -- |
 -- Resource handler, which has a notion of pure errors.
 newtype Use env err res = Use (ReaderT env (ExceptT err IO) res)
-  deriving (Functor, Applicative, Alternative, Monad, MonadPlus, MonadIO, MonadError err)
+  deriving (Functor, Applicative, Alternative, Monad, MonadPlus, MonadIO, MonadError err, MonadReader env)
 
 instance Bifunctor (Use env) where
   first = mapErr
diff --git a/library/Acquire/Prelude.hs b/library/Acquire/Prelude.hs
--- a/library/Acquire/Prelude.hs
+++ b/library/Acquire/Prelude.hs
@@ -12,6 +12,7 @@
 import Control.Monad.Error.Class as Exports
 import Control.Monad.Fix as Exports hiding (fix)
 import Control.Monad.IO.Class as Exports
+import Control.Monad.Reader.Class as Exports
 import Control.Monad.ST as Exports
 import Control.Monad.Trans.Class as Exports
 import Control.Monad.Trans.Cont as Exports hiding (callCC, shift)