diff --git a/lib/Polysemy/Time/Prelude.hs b/lib/Polysemy/Time/Prelude.hs
--- a/lib/Polysemy/Time/Prelude.hs
+++ b/lib/Polysemy/Time/Prelude.hs
@@ -1,43 +1,23 @@
+{-# options_haddock hide #-}
 {-# LANGUAGE NoImplicitPrelude #-}
 
 module Polysemy.Time.Prelude (
   module Polysemy.Time.Prelude,
-  module Data.Aeson,
-  module Data.Aeson.TH,
-  module Data.Composition,
-  module Data.Default,
-  module Data.Either.Combinators,
   module Data.Foldable,
   module Data.Kind,
-  module Data.List.NonEmpty,
-  module Data.Map.Strict,
   module GHC.Err,
-  module GHC.TypeLits,
   module Polysemy,
   module Polysemy.AtomicState,
   module Polysemy.Time.Debug,
-  module Polysemy.Error,
-  module Polysemy.Reader,
-  module Polysemy.State,
   module Relude,
 ) where
 
-import Control.Exception (throwIO, try)
 import qualified Data.Aeson as Aeson
-import Data.Aeson (FromJSON (parseJSON), ToJSON (toJSON))
-import Data.Aeson.TH (deriveFromJSON, deriveJSON)
-import Data.Composition ((.:), (.:.), (.::))
-import Data.Default (Default (def))
-import Data.Either.Combinators (mapLeft)
+import Data.Aeson.TH (deriveJSON)
 import Data.Fixed (div')
-import Data.Foldable (foldl, traverse_)
+import Data.Foldable (traverse_)
 import Data.Kind (Type)
-import Data.List.NonEmpty ((<|))
-import qualified Data.Map.Strict as Map
-import Data.Map.Strict (Map, lookup)
-import qualified Data.Text as Text
 import GHC.Err (undefined)
-import GHC.TypeLits (Symbol)
 import qualified Language.Haskell.TH.Syntax as TH
 import Polysemy (
   Effect,
@@ -62,9 +42,6 @@
   runFinal,
   )
 import Polysemy.AtomicState (AtomicState, atomicGet, atomicGets, atomicModify', atomicPut, runAtomicStateTVar)
-import Polysemy.Error (Error, fromEither, mapError, note, runError, throw)
-import Polysemy.Reader (Reader)
-import Polysemy.State (State, evalState, get, gets, modify, modify', put, runState)
 import Relude hiding (
   Reader,
   State,
@@ -88,7 +65,6 @@
   traceShow,
   undefined,
   )
-import System.IO.Error (userError)
 
 import Polysemy.Time.Debug (dbg, dbgs, dbgs_)
 
@@ -99,95 +75,6 @@
   pure ()
 {-# inline unit #-}
 
-tuple ::
-  Applicative f =>
-  f a ->
-  f b ->
-  f (a, b)
-tuple fa fb =
-  (,) <$> fa <*> fb
-{-# inline tuple #-}
-
-liftT ::
-  forall m f r e a .
-  Functor f =>
-  Sem r a ->
-  Sem (WithTactics e f m r) (f a)
-liftT =
-  pureT <=< raise
-{-# inline liftT #-}
-
-hoistEither ::
-  Member (Error e2) r =>
-  (e1 -> e2) ->
-  Either e1 a ->
-  Sem r a
-hoistEither f =
-  fromEither . mapLeft f
-{-# inline hoistEither #-}
-
-hoistEitherWith ::
-  (e -> Sem r a) ->
-  Either e a ->
-  Sem r a
-hoistEitherWith f =
-  either f pure
-{-# inline hoistEitherWith #-}
-
-hoistEitherShow ::
-  Show e1 =>
-  Member (Error e2) r =>
-  (Text -> e2) ->
-  Either e1 a ->
-  Sem r a
-hoistEitherShow f =
-  fromEither . mapLeft (f . Text.replace "\\" "" . show)
-{-# inline hoistEitherShow #-}
-
-hoistErrorWith ::
-  (e -> Sem r a) ->
-  Sem (Error e : r) a ->
-  Sem r a
-hoistErrorWith f =
-  hoistEitherWith f <=< runError
-{-# inline hoistErrorWith #-}
-
-tryAny ::
-  Member (Embed IO) r =>
-  IO a ->
-  Sem r (Either Text a)
-tryAny =
-  embed . fmap (mapLeft show) . try @SomeException
-{-# inline tryAny #-}
-
-tryHoist ::
-  Member (Embed IO) r =>
-  (Text -> e) ->
-  IO a ->
-  Sem r (Either e a)
-tryHoist f =
-  fmap (mapLeft f) . tryAny
-{-# inline tryHoist #-}
-
-tryThrow ::
-  Members [Embed IO, Error e] r =>
-  (Text -> e) ->
-  IO a ->
-  Sem r a
-tryThrow f =
-  fromEither <=< tryHoist f
-{-# inline tryThrow #-}
-
-throwTextIO :: Text -> IO a
-throwTextIO =
-  throwIO . userError . toString
-{-# inline throwTextIO #-}
-
-throwEitherIO :: Either Text a -> IO a
-throwEitherIO =
-  traverseLeft throwTextIO
-{-# inline throwEitherIO #-}
-
 basicOptions :: Aeson.Options
 basicOptions =
   Aeson.defaultOptions {
@@ -205,100 +92,6 @@
   deriveJSON jsonOptions
 {-# inline defaultJson #-}
 
-unaryRecordJson :: TH.Name -> TH.Q [TH.Dec]
-unaryRecordJson =
-  deriveJSON basicOptions
-{-# inline unaryRecordJson #-}
-
-type Basic a =
-  (Eq a, Show a)
-
-type family Basics (as :: [Type]) :: Constraint where
-  Basics '[] = ()
-  Basics (a : as) = (Basic a, Basics as)
-
-type Eso a =
-  (Basic a, Ord a)
-
-type family Esos (as :: [Type]) :: Constraint where
-  Esos '[] = ()
-  Esos (a : as) = (Eso a, Esos as)
-
-type Json a =
-  (FromJSON a, ToJSON a, Basic a)
-
-type family Jsons (r :: [Type]) :: Constraint where
-  Jsons '[] = ()
-  Jsons (a ': r) = (Json a, Jsons r)
-
-rightOr :: (a -> b) -> Either a b -> b
-rightOr f =
-  either f id
-{-# inline rightOr #-}
-
-traverseLeft ::
-  Applicative m =>
-  (a -> m b) ->
-  Either a b ->
-  m b
-traverseLeft f =
-  either f pure
-{-# inline traverseLeft #-}
-
-jsonDecode ::
-  FromJSON a =>
-  ByteString ->
-  Either Text a
-jsonDecode =
-  mapLeft toText . Aeson.eitherDecodeStrict'
-{-# inline jsonDecode #-}
-
-jsonDecodeL ::
-  FromJSON a =>
-  LByteString ->
-  Either Text a
-jsonDecodeL =
-  mapLeft toText . Aeson.eitherDecode'
-{-# inline jsonDecodeL #-}
-
-jsonDecodeText ::
-  FromJSON a =>
-  Text ->
-  Either Text a
-jsonDecodeText =
-  mapLeft toText . Aeson.eitherDecodeStrict' . encodeUtf8
-{-# inline jsonDecodeText #-}
-
-jsonEncode ::
-  ToJSON a =>
-  a ->
-  ByteString
-jsonEncode =
-  toStrict . Aeson.encode
-{-# inline jsonEncode #-}
-
-jsonEncodeText ::
-  ToJSON a =>
-  a ->
-  Text
-jsonEncodeText =
-  decodeUtf8 . jsonEncode
-{-# inline jsonEncodeText #-}
-
-as ::
-  Functor m =>
-  a ->
-  m b ->
-  m a
-as =
-  (<$)
-{-# inline as #-}
-
-mneToList :: Maybe (NonEmpty a) -> [a]
-mneToList =
-  maybe [] toList
-{-# inline mneToList #-}
-
 safeDiv ::
   Real a =>
   Integral a =>
@@ -317,14 +110,6 @@
   a ->
   a ->
   a
-divOr0 =
-  fromMaybe 0 .: safeDiv
+divOr0 l r =
+  fromMaybe 0 (safeDiv l r)
 {-# inline divOr0 #-}
-
-mapBy ::
-  Ord k =>
-  (a -> k) ->
-  [a] ->
-  Map k a
-mapBy f =
-  Map.fromList . fmap \ a -> (f a, a)
diff --git a/lib/Polysemy/Time/Sleep.hs b/lib/Polysemy/Time/Sleep.hs
--- a/lib/Polysemy/Time/Sleep.hs
+++ b/lib/Polysemy/Time/Sleep.hs
@@ -8,6 +8,8 @@
   Member (Embed IO) r =>
   MicroSeconds ->
   Sem r ()
+uSleep (MicroSeconds 0) =
+  unit
 uSleep (MicroSeconds us) =
   embed (threadDelay (fromIntegral us))
 
diff --git a/polysemy-time.cabal b/polysemy-time.cabal
--- a/polysemy-time.cabal
+++ b/polysemy-time.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-time
-version:        0.1.4.0
+version:        0.2.0.0
 synopsis:       Polysemy Effect for Time
 description:    Please see the readme on Github at <https://github.com/tek/polysemy-time>
 category:       Time
@@ -100,14 +100,10 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -flate-specialise -fspecialise-aggressively -Wall
+  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -Wredundant-constraints -Wunused-packages
   build-depends:
       aeson >=1.4
     , base ==4.*
-    , composition >=1.0
-    , containers
-    , data-default >=0.7
-    , either
     , polysemy >=1.3
     , relude >=0.7
     , string-interpolate >=0.2
@@ -187,28 +183,16 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -threaded -rtsopts -with-rtsopts=-N
+  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -Wredundant-constraints -Wunused-packages -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      aeson >=1.4
-    , base ==4.*
-    , composition >=1.0
-    , containers
-    , data-default >=0.7
-    , either
-    , hedgehog
+      base ==4.*
     , polysemy >=1.3
     , polysemy-test
     , polysemy-time
-    , relude >=0.7
-    , string-interpolate >=0.2
     , tasty
-    , tasty-hedgehog
-    , template-haskell
-    , text
     , time
-    , torsor >=0.1
   mixins:
       base hiding (Prelude)
-    , polysemy-time hiding (Prelude)
+    , polysemy-time hiding (Polysemy.Time.Prelude)
     , polysemy-time (Polysemy.Time.Prelude as Prelude)
   default-language: Haskell2010