diff --git a/oops.cabal b/oops.cabal
--- a/oops.cabal
+++ b/oops.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name:                   oops
-version:                0.1.4.0
+version:                0.1.5.0
 synopsis:               Combinators for handling errors of many types in a composable way
 description:            Combinators for handling errors of many types in a composable way.
 homepage:               https://www.github.com/haskell-works/oops
diff --git a/src/Control/Monad/Oops.hs b/src/Control/Monad/Oops.hs
--- a/src/Control/Monad/Oops.hs
+++ b/src/Control/Monad/Oops.hs
@@ -46,6 +46,9 @@
     throwPureNothingM,
     throwPureNothingAsM,
 
+    leftM,
+    nothingM,
+
     recoverM,
     recoverOrVoidM,
 
@@ -258,6 +261,20 @@
   -> m (Maybe a)
   -> m a
 throwPureNothingAsM e f = f >>= throwNothingAsM e
+
+leftM :: forall x m a. ()
+  => Monad m
+  => (x -> m a)
+  -> m (Either x a)
+  -> m a
+leftM g f = f >>= either g pure
+
+nothingM :: forall m a. ()
+  => Monad m
+  => m a
+  -> m (Maybe a)
+  -> m a
+nothingM g f = f >>= maybe g pure
 
 -- | Catch the specified exception and return it instead.
 -- The evaluated computation must return the same type that is being caught.