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.0.4
+version:                0.0.1.0
 synopsis:               Opinionated prelude library
 description:            Opinionated prelude library.
 license:                Apache-2.0
@@ -53,12 +53,15 @@
                         FlexibleContexts
                         FlexibleInstances
                         LambdaCase
+                        NoFieldSelectors
                         NoImplicitPrelude
+                        OverloadedRecordDot
                         OverloadedStrings
                         RankNTypes
                         ScopedTypeVariables
                         TypeApplications
                         TypeOperators
+                        TypeSynonymInstances
   ghc-options:          -Wall
 
   if flag(werror)
@@ -88,7 +91,6 @@
                         HaskellWorks.Data.String
                         HaskellWorks.Error
                         HaskellWorks.Error.Types
-                        HaskellWorks.Error.Types.All
                         HaskellWorks.Error.Types.GenericError
                         HaskellWorks.Error.Types.TimedOut
                         HaskellWorks.IO.Network.NamedPipe
diff --git a/src/HaskellWorks/Error.hs b/src/HaskellWorks/Error.hs
--- a/src/HaskellWorks/Error.hs
+++ b/src/HaskellWorks/Error.hs
@@ -67,7 +67,7 @@
 onLeftM_ f action = onLeft_ f =<< action
 
 -- | Handle the case where a list with many (more than one) elements.
-onMany :: forall a m.()
+onMany :: forall a m. ()
   => Monad m
   => (NonEmpty a -> m (Maybe a))
   -> [a]
@@ -78,7 +78,7 @@
     (x : xs) -> h (x :| xs)
 
 -- | Handle the case where an effectul function returns a list with many (more than one) elements.
-onManyM :: forall a m.()
+onManyM :: forall a m. ()
   => Monad m
   => (NonEmpty a -> m (Maybe a))
   -> m [a]
@@ -87,7 +87,7 @@
   f >>= onMany h
 
 -- | Handle the case where a list with many (more than one) elements.
-onMany_ :: forall a m.()
+onMany_ :: forall a m. ()
   => Monad m
   => m (Maybe a)
   -> [a]
@@ -98,7 +98,7 @@
     _   -> h
 
 -- | Handle the case where an effectul function returns a list with many (more than one) elements.
-onManyM_ :: forall a m.()
+onManyM_ :: forall a m. ()
   => Monad m
   => m (Maybe a)
   -> m [a]
diff --git a/src/HaskellWorks/Error/Types.hs b/src/HaskellWorks/Error/Types.hs
--- a/src/HaskellWorks/Error/Types.hs
+++ b/src/HaskellWorks/Error/Types.hs
@@ -1,7 +1,10 @@
-module HaskellWorks.Error.Types
-  ( -- * Error types
-    GenericError(GenericError),
-    TimedOut(TimedOut),
-  ) where
+{-# LANGUAGE DuplicateRecordFields #-}
+{-# LANGUAGE TypeSynonymInstances  #-}
 
-import           HaskellWorks.Error.Types.All
+module HaskellWorks.Error.Types (
+    GenericError (..),
+    TimedOut(..),
+) where
+
+import           HaskellWorks.Error.Types.GenericError
+import           HaskellWorks.Error.Types.TimedOut
diff --git a/src/HaskellWorks/Error/Types/All.hs b/src/HaskellWorks/Error/Types/All.hs
deleted file mode 100644
--- a/src/HaskellWorks/Error/Types/All.hs
+++ /dev/null
@@ -1,10 +0,0 @@
-{-# LANGUAGE DuplicateRecordFields #-}
-{-# LANGUAGE TypeSynonymInstances  #-}
-
-module HaskellWorks.Error.Types.All (
-    GenericError (..),
-    TimedOut(..),
-) where
-
-import           HaskellWorks.Error.Types.GenericError
-import           HaskellWorks.Error.Types.TimedOut