diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -7,7 +7,9 @@
 library.
 
 At this time these consist of instances for the typeclasses found in
-the [exceptions] library.
+the [exceptions], [transformers-base] and [resourcet] libraries.
 
 [Quiver]: http://hackage.haskell.org/package/quiver
 [exceptions]: http://hackage.haskell.org/package/exceptions
+[transformers-base]: http://hackage.haskell.org/package/transformers-base
+[resourcet]: http://hackage.haskell.org/package/resourcet
diff --git a/quiver-instances.cabal b/quiver-instances.cabal
--- a/quiver-instances.cabal
+++ b/quiver-instances.cabal
@@ -1,5 +1,5 @@
 name:                quiver-instances
-version:             0.1.0.1
+version:             0.2.0.0
 synopsis:            Extra instances for Quiver
 description:
   Various extra instances for Quiver that aren't yet in the main library.
@@ -30,7 +30,9 @@
   build-depends:       base >=4.8 && <4.9
                      , exceptions == 0.8.*
                      , quiver >= 1.1.3 && < 1.2
+                     , resourcet == 1.1.*
                      , transformers
+                     , transformers-base
   hs-source-dirs:      src
   default-language:    Haskell2010
 
diff --git a/src/Control/Quiver/Instances.hs b/src/Control/Quiver/Instances.hs
--- a/src/Control/Quiver/Instances.hs
+++ b/src/Control/Quiver/Instances.hs
@@ -1,4 +1,5 @@
-{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, RankNTypes,
+             UndecidableInstances #-}
 
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
@@ -18,11 +19,14 @@
 
 import Control.Quiver.Internal
 
+import Control.Monad.Base           (MonadBase (..), liftBaseDefault)
 import Control.Monad.Catch
-import Control.Monad.IO.Class (MonadIO (..))
-import Data.IORef             (newIORef, readIORef, writeIORef)
+import Control.Monad.IO.Class       (MonadIO (..))
+import Control.Monad.Trans.Resource (MonadResource (..))
+import Data.IORef                   (newIORef, readIORef, writeIORef)
 
 --------------------------------------------------------------------------------
+-- Instances for classes from the exceptions library.
 
 -- | Throws exceptions into the base monad.
 instance (MonadThrow f) => MonadThrow (P a a' b b' f) where
@@ -78,3 +82,16 @@
                         Enclose m -> m >>= mergeAdjacent
                         _         -> return p
   maskM (pk unmask)
+
+--------------------------------------------------------------------------------
+-- Instances for classes from the transformers-base library.
+
+-- This requires UndecidableInstances
+instance (MonadBase bm f) => MonadBase bm (P a a' b b' f) where
+  liftBase = liftBaseDefault
+
+--------------------------------------------------------------------------------
+-- Instances for classes from the resourcet library.
+
+instance (MonadResource f) => MonadResource (P a a' b b' f) where
+  liftResourceT = qlift . liftResourceT