diff --git a/COPYING b/COPYING
new file mode 100644
--- /dev/null
+++ b/COPYING
@@ -0,0 +1,13 @@
+Copyright © 2018, Stephen Paul Weber <singpolyma.net>
+
+Permission to use, copy, modify, and/or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/UnexceptionalIO/Trans.hs b/UnexceptionalIO/Trans.hs
new file mode 100644
--- /dev/null
+++ b/UnexceptionalIO/Trans.hs
@@ -0,0 +1,127 @@
+{-# LANGUAGE CPP #-}
+-- | When you've caught all the exceptions that can be handled safely,
+--   this is what you're left with.
+--
+-- > runExceptIO . fromIO ≡ id
+--
+-- It is intended that you use qualified imports with this library.
+--
+-- > import UnexceptionalIO.Trans (UIO)
+-- > import qualified UnexceptionalIO.Trans as UIO
+module UnexceptionalIO.Trans (
+	UIO.UIO,
+	UIO.Unexceptional(..),
+	fromIO,
+	run,
+	runExceptIO,
+	-- * Unsafe entry points
+#ifdef __GLASGOW_HASKELL__
+	fromIO',
+#endif
+	UIO.unsafeFromIO,
+	-- * Pseudo exceptions
+	UIO.SomeNonPseudoException,
+#ifdef __GLASGOW_HASKELL__
+	UIO.PseudoException(..),
+	UIO.ProgrammerError(..),
+	UIO.ExternalError(..),
+	-- * Pseudo exception helpers
+	UIO.bracket,
+#if MIN_VERSION_base(4,6,0)
+	UIO.forkFinally,
+	UIO.fork
+#endif
+#endif
+) where
+
+import Control.Exception (Exception)
+import Control.Monad.IO.Class (MonadIO(..))
+#if MIN_VERSION_transformers(0,5,3)
+import qualified Control.Monad.Trans.Accum as Trans
+#endif
+import qualified Control.Monad.Trans.Class as Trans
+import qualified Control.Monad.Trans.Cont as Trans
+import qualified Control.Monad.Trans.Error as Trans
+import qualified Control.Monad.Trans.Except as Trans
+import qualified Control.Monad.Trans.Identity as Trans
+import qualified Control.Monad.Trans.List as Trans
+import qualified Control.Monad.Trans.Maybe as Trans
+import qualified Control.Monad.Trans.RWS.Lazy as RWSL
+import qualified Control.Monad.Trans.RWS.Strict as RWSS
+import qualified Control.Monad.Trans.Reader as Trans
+#if MIN_VERSION_transformers(0,5,3)
+import qualified Control.Monad.Trans.Select as Trans
+#endif
+import qualified Control.Monad.Trans.State.Lazy as StateL
+import qualified Control.Monad.Trans.State.Strict as StateS
+import qualified Control.Monad.Trans.Writer.Lazy as WriterL
+import qualified Control.Monad.Trans.Writer.Strict as WriterS
+import qualified UnexceptionalIO as UIO
+
+-- | Catch any exception but 'PseudoException' in an 'IO' action
+fromIO :: (UIO.Unexceptional m) => IO a -> Trans.ExceptT UIO.SomeNonPseudoException m a
+fromIO = Trans.ExceptT . UIO.fromIO
+
+-- | You promise that 'e' covers all exceptions but 'PseudoException'
+--   thrown by this 'IO' action
+--
+-- This function is partial if you lie
+fromIO' :: (Exception e, UIO.Unexceptional m) => IO a -> Trans.ExceptT e m a
+fromIO' = Trans.ExceptT . UIO.fromIO'
+
+-- | Re-embed 'UIO' into 'MonadIO'
+run :: (MonadIO m) => UIO.UIO a -> m a
+run = liftIO . UIO.run
+
+-- | Re-embed 'UIO' and possible exception back into 'IO'
+runExceptIO :: (Exception e, MonadIO m) => Trans.ExceptT e UIO.UIO a -> m a
+runExceptIO = liftIO . UIO.runEitherIO . Trans.runExceptT
+
+#if MIN_VERSION_transformers(0,5,3)
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.AccumT w m) where
+	lift = Trans.lift . UIO.lift
+#endif
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.ContT r m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m, Trans.Error e) => UIO.Unexceptional (Trans.ErrorT e m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.ExceptT e m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.IdentityT m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.ListT m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.MaybeT m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m, Monoid w) => UIO.Unexceptional (RWSL.RWST r w s m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m, Monoid w) => UIO.Unexceptional (RWSS.RWST r w s m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.ReaderT r m) where
+	lift = Trans.lift . UIO.lift
+
+#if MIN_VERSION_transformers(0,5,3)
+instance (UIO.Unexceptional m) => UIO.Unexceptional (Trans.SelectT r m) where
+	lift = Trans.lift . UIO.lift
+#endif
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (StateL.StateT s m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m) => UIO.Unexceptional (StateS.StateT s m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m, Monoid w) => UIO.Unexceptional (WriterL.WriterT w m) where
+	lift = Trans.lift . UIO.lift
+
+instance (UIO.Unexceptional m, Monoid w) => UIO.Unexceptional (WriterS.WriterT w m) where
+	lift = Trans.lift . UIO.lift
diff --git a/unexceptionalio-trans.cabal b/unexceptionalio-trans.cabal
new file mode 100644
--- /dev/null
+++ b/unexceptionalio-trans.cabal
@@ -0,0 +1,37 @@
+name:            unexceptionalio-trans
+version:         0.4.0
+cabal-version:   >=1.8
+license:         OtherLicense
+license-file:    COPYING
+copyright:       © 2013-2014 Stephen Paul Weber
+category:        Control
+author:          Stephen Paul Weber <singpolyma@singpolyma.net>
+maintainer:      Stephen Paul Weber <singpolyma@singpolyma.net>
+stability:       experimental
+build-type:      Simple
+homepage:        https://github.com/singpolyma/unexceptionalio-trans
+bug-reports:     http://github.com/singpolyma/unexceptionalio-trans/issues
+synopsis:        A wrapper around UnexceptionalIO using monad transformers
+description:
+        UnexceptionalIO provides a basic type to witness having caught all
+        exceptions you can safely handle.  This library builds on that with
+        transformers like ExceptT to provide a more ergonomic tool for many
+        cases.
+        .
+        It is intended that you use qualified imports with this library.
+        .
+        > import UnexceptionalIO.Trans (UIO)
+        > import qualified UnexceptionalIO.Trans as UIO
+
+library
+        exposed-modules:
+                UnexceptionalIO.Trans
+
+        build-depends:
+                base == 4.*,
+                transformers,
+                unexceptionalio == 0.4.0
+
+source-repository head
+        type:     git
+        location: git://github.com/singpolyma/unexceptionalio-trans.git