diff --git a/failable.cabal b/failable.cabal
--- a/failable.cabal
+++ b/failable.cabal
@@ -1,13 +1,13 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.1.
+-- This file has been generated from package.yaml by hpack version 0.31.2.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 8cc31ec3ac9375294a36a9da93d185c21007f0c218f60c268b752c2d859ae579
+-- hash: 93b641ce8250cf5be47f3dd076ef5b7275d1730554ece2b325f4e75617100984
 
 name:           failable
-version:        1.2.2.0
+version:        1.2.3.0
 synopsis:       A 'Failable' error monad class to unify failure across monads that can fail
 description:    This library contains a 'Failable' error monad class to unify failure across monads and transformers most commonly used to implement pipelines that can fail and does so in a simple nonsense way by providing the means of signaling a computation "failure" while striving to keep the failure behaviour consistent with the actual definition of the monad/transformer. Please refer to the README file for a more elaborate description and some examples.
 category:       control, exceptions, monad
diff --git a/package.yaml b/package.yaml
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name:        failable
-version:     1.2.2.0
+version:     1.2.3.0
 license:     BSD3
 author:      "Erick Gonzalez"
 maintainer:  "erick@codemonkeylabs.de"
diff --git a/src/Control/Monad/Failable.hs b/src/Control/Monad/Failable.hs
--- a/src/Control/Monad/Failable.hs
+++ b/src/Control/Monad/Failable.hs
@@ -67,7 +67,12 @@
 -- >>> runMaybeT $ foo 2 :: IO (Maybe Int)
 -- >>> Nothing
 --
-                               Failable(..), Hoistable(..), failableIO) where
+                               Failable(..),
+                               Hoistable(..),
+                               RunnableStateT(..),
+-- * Utility functions
+                               autohoist,
+                               failableIO) where
 
 import Data.Bifunctor               (second)
 import Control.Exception            (Exception(..), SomeException(..), throw, catch)
@@ -115,6 +120,10 @@
   --
   hoist :: (Exception e) => (e' -> e) -> t a -> m a
 
+-- | Utility function to capture the idiom `hoist id` .. which is used to promote a type
+-- to a failable without requiring any error transformation
+autohoist :: (e ~ SomeException, Hoistable m t e) => t a -> m a
+autohoist = hoist id
 
 instance Failable IO where
     failure = throw