diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,2 @@
+1.1.2
+* Mark modules as explicit Safe or Trustworthy
diff --git a/src/Data/Universe/Instances/Extended.hs b/src/Data/Universe/Instances/Extended.hs
--- a/src/Data/Universe/Instances/Extended.hs
+++ b/src/Data/Universe/Instances/Extended.hs
@@ -2,6 +2,12 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE UndecidableInstances #-}
+-- Data.Coerce is Unsafe
+#if __GLASGOW_HASKELL__ >=704 && !MIN_VERSION_base(4,7,0)
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 module Data.Universe.Instances.Extended (
   -- | Instances for 'Universe' and 'Finite' for function-like functors and the empty type.
   Universe(..), Finite(..)
@@ -25,6 +31,8 @@
 -- $setup
 --
 -- >>> import Data.Int (Int8)
+-- >>> import Data.Functor.Contravariant (Predicate (..))
+-- >>> import Data.Universe.Helpers (retag, Tagged, Natural)
 --
 -- -- Show (a -> b) instance (in universe-reverse-instances, but cannot depend on it here).
 -- >>> instance (Finite a, Show a, Show b) => Show (a -> b) where showsPrec n f = showsPrec n [(a, f a) | a <- universeF]
diff --git a/universe-instances-extended.cabal b/universe-instances-extended.cabal
--- a/universe-instances-extended.cabal
+++ b/universe-instances-extended.cabal
@@ -1,6 +1,6 @@
-name:          universe-instances-extended
-version:       1.1.1
-synopsis:      Universe instances for types from selected extra packages
+name:               universe-instances-extended
+version:            1.1.2
+synopsis:           Universe instances for types from selected extra packages
 description:
   A class for finite and recursively enumerable types and some helper functions for enumerating them
   defined in @universe-base@ package:
@@ -10,17 +10,28 @@
   class Universe a => Finite a where universeF :: [a]; universeF = universe
   @
 
-homepage:      https://github.com/dmwit/universe
-license:       BSD3
-license-file:  LICENSE
-author:        Daniel Wagner
-maintainer:    me@dmwit.com
-copyright:     Daniel Wagner 2014
-category:      Data
-build-type:    Simple
-cabal-version: >=1.10
+homepage:           https://github.com/dmwit/universe
+license:            BSD3
+license-file:       LICENSE
+author:             Daniel Wagner
+maintainer:         me@dmwit.com
+copyright:          Daniel Wagner 2014
+category:           Data
+build-type:         Simple
+cabal-version:      >=1.10
+extra-source-files: changelog
 tested-with:
-  GHC ==8.8.1 || ==8.6.4 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.0.4
+  GHC ==7.0.4
+   || ==7.4.2
+   || ==7.6.3
+   || ==7.8.4
+   || ==7.10.3
+   || ==8.0.2
+   || ==8.2.2
+   || ==8.4.4
+   || ==8.6.5
+   || ==8.8.4
+   || ==8.10.3
 
 source-repository head
   type:     git
@@ -29,26 +40,32 @@
 source-repository this
   type:     git
   location: https://github.com/dmwit/universe
-  tag:      instances-extended-1.1
+  tag:      universe-1.2.1
 
 library
   default-language: Haskell2010
   hs-source-dirs:   src
   exposed-modules:  Data.Universe.Instances.Extended
   build-depends:
-      adjunctions    >=4.3 && <4.5
-    , comonad        >=4.2 && <5.1
+      base           >=4.3   && <4.15
     , containers
-    , universe-base  >=1.1 && <1.1.2
+    , universe-base  >=1.1.2 && <1.1.3
 
-  if impl(ghc >=8.6.1)
-    build-depends:   base           >=4.12 && <4.14
+  if impl(ghc >=7.4)
+    -- adjunctions-4.4 and comonad-5.0.8 have explicit annotations
+    build-depends:
+        adjunctions  >=4.4   && <4.5
+      , comonad      >=5.0.8 && <5.1
 
-  if impl(ghc  <8.0.1)
-    build-depends:   base           >=4.3  && <4.14
-                   , contravariant
-                   , semigroups
+  else
+    build-depends:
+        adjunctions  >=4.3 && <4.4
+      , comonad      >=4.2 && <5.1
 
-  if impl(ghc >=8.0.1)
-    build-depends:   base           >=4.9  && <4.14
-                   , contravariant
+  if !impl(ghc >=8.6)
+    build-depends: contravariant >=1.5.3 && <1.6
+
+  if impl(ghc >=9.0)
+    -- these flags may abort compilation with GHC-8.10
+    -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
+    ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode