diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,2 @@
+1.1.1
+* Mark modules as explicit Safe or Trustworthy
diff --git a/src/Data/Universe/Instances/Eq.hs b/src/Data/Universe/Instances/Eq.hs
--- a/src/Data/Universe/Instances/Eq.hs
+++ b/src/Data/Universe/Instances/Eq.hs
@@ -1,3 +1,9 @@
+{-# LANGUAGE CPP #-}
+#if __GLASGOW_HASKELL__ >=704
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 module Data.Universe.Instances.Eq (
   -- | An 'Eq' instance for functions, given the input is 'Finite' and the
   -- output is 'Eq'. Compares pointwise.
diff --git a/src/Data/Universe/Instances/Ord.hs b/src/Data/Universe/Instances/Ord.hs
--- a/src/Data/Universe/Instances/Ord.hs
+++ b/src/Data/Universe/Instances/Ord.hs
@@ -1,3 +1,9 @@
+{-# LANGUAGE CPP #-}
+#if __GLASGOW_HASKELL__ >=704
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 module Data.Universe.Instances.Ord (
   -- | An 'Ord' instance for functions, given the input is 'Finite' and the
   -- output is 'Ord'. Compares pointwise, with higher priority to inputs
diff --git a/src/Data/Universe/Instances/Read.hs b/src/Data/Universe/Instances/Read.hs
--- a/src/Data/Universe/Instances/Read.hs
+++ b/src/Data/Universe/Instances/Read.hs
@@ -1,3 +1,9 @@
+{-# LANGUAGE CPP #-}
+#if __GLASGOW_HASKELL__ >=704
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 -- | A 'Read' instance for functions, given the input is 'Finite' and
 -- 'Ord' and both the input and output are 'Read'.
 module Data.Universe.Instances.Read () where
diff --git a/src/Data/Universe/Instances/Show.hs b/src/Data/Universe/Instances/Show.hs
--- a/src/Data/Universe/Instances/Show.hs
+++ b/src/Data/Universe/Instances/Show.hs
@@ -1,3 +1,9 @@
+{-# LANGUAGE CPP #-}
+#if __GLASGOW_HASKELL__ >=704
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 -- | A 'Show' instance for functions, given the input is 'Finite' and both
 -- the input and output are 'Show'.
 module Data.Universe.Instances.Show () where
diff --git a/src/Data/Universe/Instances/Traversable.hs b/src/Data/Universe/Instances/Traversable.hs
--- a/src/Data/Universe/Instances/Traversable.hs
+++ b/src/Data/Universe/Instances/Traversable.hs
@@ -1,3 +1,9 @@
+{-# LANGUAGE CPP #-}
+#if __GLASGOW_HASKELL__ >=704
+{-# LANGUAGE Safe #-}
+#elif __GLASGOW_HASKELL__ >=702
+{-# LANGUAGE Trustworthy #-}
+#endif
 -- | A 'Foldable' instance for functions, given the input is 'Finite', and
 -- a 'Traversable' instance for functions, given the input is 'Ord' and
 -- 'Finite'.
diff --git a/universe-reverse-instances.cabal b/universe-reverse-instances.cabal
--- a/universe-reverse-instances.cabal
+++ b/universe-reverse-instances.cabal
@@ -1,5 +1,5 @@
-name:          universe-reverse-instances
-version:       1.1
+name:               universe-reverse-instances
+version:            1.1.1
 synopsis:
   Instances of standard classes that are made possible by enumerations
 
@@ -11,17 +11,28 @@
   f == g = and [f x == g x | x <- universeF]
   @
 
-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
@@ -30,7 +41,7 @@
 source-repository this
   type:     git
   location: https://github.com/dmwit/universe
-  tag:      1.1
+  tag:      universe-1.2.1
 
 library
   default-language: Haskell2010
@@ -43,6 +54,11 @@
     Data.Universe.Instances.Traversable
 
   build-depends:
-      base           >=4.3 && <4.13
-    , containers     >=0.4 && <0.7
-    , universe-base  >=1.1 && <1.1.1
+      base           >=4.3   && <4.16
+    , containers     >=0.4   && <0.7
+    , universe-base  >=1.1.2 && <1.1.3
+
+  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