diff --git a/Foreign/Marshal/Utils/Lifted.hs b/Foreign/Marshal/Utils/Lifted.hs
new file mode 100644
--- /dev/null
+++ b/Foreign/Marshal/Utils/Lifted.hs
@@ -0,0 +1,48 @@
+{-# LANGUAGE CPP
+           , FlexibleContexts
+           , UnicodeSyntax
+           , NoImplicitPrelude
+  #-}
+
+#if __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
+#endif
+
+{- |
+Module      :  Foreign.Marshal.Utils.Lifted
+Copyright   :  Bas van Dijk, Anders Kaseorg, Michael Steele
+License     :  BSD-style
+
+Maintainer  :  Bas van Dijk <v.dijk.bas@gmail.com>
+Stability   :  experimental
+Portability :  non-portable (extended exceptions)
+
+This is a wrapped version of "Foreign.Marshal.Utils" with types generalized
+from 'IO' to all monads in either 'MonadBase' or 'MonadBaseControl'.
+-}
+
+module Foreign.Marshal.Utils.Lifted
+  ( with
+  ) where
+
+-- from base:
+import qualified Foreign as F
+import System.IO     ( IO )
+
+-- from base-unicode-symbols:
+import Data.Function.Unicode ( (∘) )
+
+-- from monad-control:
+import Control.Monad.Trans.Control ( MonadBaseControl
+                                   , liftBaseOp )
+
+-- |Generalized version of 'F.with'.
+--
+-- Note, when the given function throws an exception any monadic side
+-- effects in @m@ will be discarded.
+with ∷ (MonadBaseControl IO m, F.Storable a)
+     ⇒ a       -- ^ value to be poked
+     → (F.Ptr a → m b) -- ^ computation to run
+     → m b
+with = liftBaseOp ∘ F.with
+{-# INLINEABLE with #-}
diff --git a/lifted-base.cabal b/lifted-base.cabal
--- a/lifted-base.cabal
+++ b/lifted-base.cabal
@@ -1,5 +1,5 @@
 Name:                lifted-base
-Version:             0.2.1.2
+Version:             0.2.2.0
 Synopsis:            lifted IO operations from the base library
 License:             BSD3
 License-file:        LICENSE
@@ -39,6 +39,7 @@
                    Control.Concurrent.Chan.Lifted
                    Control.Concurrent.Lifted
                    Data.IORef.Lifted
+                   Foreign.Marshal.Utils.Lifted
                    System.Timeout.Lifted
   if impl(ghc < 7.6)
     Exposed-modules: