diff --git a/changelog.md b/changelog.md
deleted file mode 100644
--- a/changelog.md
+++ /dev/null
@@ -1,11 +0,0 @@
-# Unreleased
-
-# 0.2.0.2
-
-* Bugfix: Chronos treats months as zero-based, while `mkDate` uses 1-base.
-
-# 0.1.4.0
-* Add interpreters that remain at a fixed instant
-
-# 0.1.0.0
-* initial release
diff --git a/polysemy-chronos.cabal b/polysemy-chronos.cabal
--- a/polysemy-chronos.cabal
+++ b/polysemy-chronos.cabal
@@ -5,20 +5,23 @@
 -- see: https://github.com/sol/hpack
 
 name:           polysemy-chronos
-version:        0.4.0.0
-synopsis:       Polysemy-time Interpreters for Chronos
-description:    Please see the readme on Github at <https://github.com/tek/polysemy-time>
+version:        0.5.0.0
+synopsis:       Polysemy effects for Chronos
+description:    See https://hackage.haskell.org/package/polysemy-chronos/docs/Polysemy-Chronos.html
 category:       Time
+homepage:       https://github.com/tek/polysemy-time#readme
+bug-reports:    https://github.com/tek/polysemy-time/issues
 author:         Torsten Schmits
-maintainer:     tek@tryp.io
-copyright:      2021 Torsten Schmits
+maintainer:     hackage@tryp.io
+copyright:      2022 Torsten Schmits
 license:        BSD-2-Clause-Patent
 license-file:   LICENSE
 build-type:     Simple
-extra-source-files:
-    readme.md
-    changelog.md
 
+source-repository head
+  type: git
+  location: https://github.com/tek/polysemy-time
+
 library
   exposed-modules:
       Polysemy.Chronos
@@ -40,6 +43,7 @@
       DeriveFoldable
       DeriveFunctor
       DeriveGeneric
+      DeriveLift
       DeriveTraversable
       DerivingStrategies
       DerivingVia
@@ -72,6 +76,7 @@
       RankNTypes
       RecordWildCards
       RecursiveDo
+      RoleAnnotations
       ScopedTypeVariables
       StandaloneDeriving
       TemplateHaskell
@@ -84,14 +89,16 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -Wredundant-constraints -Wunused-packages
+  ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities -Wunused-packages
   build-depends:
-      base ==4.*
+      base >=4.12 && <5
     , chronos >=1.1.1 && <1.2
-    , incipit-core >=0.2
+    , incipit-core >=0.3
     , polysemy-time
   mixins:
       base hiding (Prelude)
+    , incipit-core (IncipitCore as Prelude)
+    , incipit-core hiding (IncipitCore)
   default-language: Haskell2010
 
 test-suite polysemy-chronos-unit
@@ -115,6 +122,7 @@
       DeriveFoldable
       DeriveFunctor
       DeriveGeneric
+      DeriveLift
       DeriveTraversable
       DerivingStrategies
       DerivingVia
@@ -147,6 +155,7 @@
       RankNTypes
       RecordWildCards
       RecursiveDo
+      RoleAnnotations
       ScopedTypeVariables
       StandaloneDeriving
       TemplateHaskell
@@ -159,15 +168,17 @@
       UndecidableInstances
       UnicodeSyntax
       ViewPatterns
-  ghc-options: -flate-specialise -fspecialise-aggressively -Wall -Wredundant-constraints -Wunused-packages -threaded -rtsopts -with-rtsopts=-N
+  ghc-options: -Wall -Wredundant-constraints -Wincomplete-uni-patterns -Wmissing-deriving-strategies -Widentities -Wunused-packages -threaded -rtsopts -with-rtsopts=-N
   build-depends:
-      base ==4.*
+      base >=4.12 && <5
     , chronos
-    , incipit-core
+    , incipit-core >=0.3
     , polysemy-chronos
-    , polysemy-test
+    , polysemy-test >=0.6
     , polysemy-time
     , tasty
   mixins:
       base hiding (Prelude)
+    , incipit-core (IncipitCore as Prelude)
+    , incipit-core hiding (IncipitCore)
   default-language: Haskell2010
diff --git a/readme.md b/readme.md
deleted file mode 100644
--- a/readme.md
+++ /dev/null
@@ -1,35 +0,0 @@
-# About
-
-This Haskell library provides interpreters for the `Time` effect from [polysemy-time].
-
-# Example
-
-```haskell
-import Polysemy (Members, runM)
-import Polysemy.Chronos (ChronosTime, interpretTimeChronosConstantAt, interpretTimeChronos)
-import qualified Polysemy.Time as Time
-import Polysemy.Time (MilliSeconds(MilliSeconds), mkDatetime)
-
-startTime :: Chronos.Time
-startTime =
-  Chronos.datetimeToTime (Time.mkDatetime 2020 01 01 0 0 0)
-
-prog ::
-  Ord t =>
-  Members [ChronosTime, Embed IO] r =>
-  Sem r Bool
-prog = do
-  Time.sleep (MilliSeconds 1)
-  time <- Time.now
-  pure (time == startTime)
-
-main :: IO ()
-main =
-  runM do
-    print =<< interpretTimeChronos prog -- False
-    print =<< interpretTimeChronosConstantAt prog -- True
-```
-
-[Polysemy]: https://hackage.haskell.org/package/polysemy
-[polysemy-time]: https://hackage.haskell.org/package/polysemy-time
-[chronos]: https://hackage.haskell.org/package/chronos