diff --git a/hw-prelude.cabal b/hw-prelude.cabal
--- a/hw-prelude.cabal
+++ b/hw-prelude.cabal
@@ -1,6 +1,6 @@
 cabal-version:          3.4
 name:                   hw-prelude
-version:                0.0.1.1
+version:                0.0.2.0
 synopsis:               Opinionated prelude library
 description:            Opinionated prelude library.
 license:                Apache-2.0
@@ -31,6 +31,7 @@
 common process                    { build-depends: process                                     < 1.7    }
 common resourcet                  { build-depends: resourcet                                   < 1.4    }
 common text                       { build-depends: text                                        < 3      }
+common transformers               { build-depends: transformers                                < 0.7    }
 common unliftio                   { build-depends: unliftio                                    < 0.3    }
 
 common hw-prelude                 { build-depends: hw-prelude                                           }
@@ -82,6 +83,7 @@
                         process,
                         resourcet,
                         text,
+                        transformers,
                         unliftio,
                         Win32,
 
diff --git a/src/HaskellWorks/Prelude.hs b/src/HaskellWorks/Prelude.hs
--- a/src/HaskellWorks/Prelude.hs
+++ b/src/HaskellWorks/Prelude.hs
@@ -6,7 +6,10 @@
 
     String,
     Text,
+    LazyText,
     ByteString,
+    LazyByteString,
+
     Int,
     Int8,
     Int16,
@@ -115,10 +118,12 @@
     unzip,
     unzip3,
 
+    Read(..),
+    readEither,
+
     Fractional(..),
     Floating(..),
     Integral(..),
-    Read(..),
     Real(..),
     RealFrac(..),
     RealFloat(..),
@@ -140,6 +145,8 @@
     denominator,
     (%),
 
+    Identity(..),
+
     Monad(..),
     MonadFail(..),
     MonadPlus(..),
@@ -154,7 +161,14 @@
     Foldable(..),
     Traversable(..),
 
+    ExceptT(..),
+    runExceptT,
+
+    Type,
+    Typeable,
+
     IO,
+    Handle,
 
     CallStack,
     HasCallStack,
@@ -181,23 +195,30 @@
 import           Control.Applicative
 import           Control.Exception
 import           Control.Monad
+import           Control.Monad.Trans.Except
 import           Data.Bifunctor
 import           Data.Bool
 import           Data.ByteString                      (ByteString)
+import qualified Data.ByteString.Lazy                 as LBS
 import           Data.Char
+import           Data.Data
 import           Data.Either
 import           Data.Eq
 import           Data.Foldable
 import           Data.Function
 import           Data.Functor.Contravariant
 import           Data.Functor.Contravariant.Divisible
+import           Data.Functor.Identity
 import           Data.Int
+import           Data.Kind
 import           Data.Maybe
 import           Data.Monoid
 import           Data.Ord
 import           Data.Semigroup
 import           Data.String
 import           Data.Text                            (Text)
+import qualified Data.Text                            as T
+import qualified Data.Text.Lazy                       as LT
 import           Data.Traversable
 import           Data.Tuple
 import           Data.Void
@@ -210,8 +231,12 @@
 import           HaskellWorks.Error
 import           Prelude
 import           System.FilePath
+import           System.IO                            (Handle)
+import           Text.Read
 
-import qualified Data.Text                            as T
+type LazyByteString = LBS.ByteString
+
+type LazyText = LT.Text
 
 tshow :: Show a => a -> Text
 tshow = T.pack . show