diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,8 @@
+1.5.2 [2019.06.03]
+------------------
+* Mark `Data.Functor.Contravariant` and `Data.Functor.Contravariant.Generic`
+  as unconditionally `Trustworthy`.
+
 1.5.1 [2019.05.02]
 ------------------
 * Remove the use of `unsafeCoerce` in `Data.Functor.Contravariant.Generic`. As
diff --git a/contravariant.cabal b/contravariant.cabal
--- a/contravariant.cabal
+++ b/contravariant.cabal
@@ -1,6 +1,6 @@
 name:          contravariant
 category:      Control, Data
-version:       1.5.1
+version:       1.5.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -77,7 +77,7 @@
     build-depends: semigroups >= 0.15.2 && < 1
 
   if flag(StateVar)
-    build-depends: StateVar >= 1.1.1 && < 1.2
+    build-depends: StateVar >= 1.1.1 && < 1.3
 
   if impl(ghc >= 7.2 && < 7.6)
     build-depends: ghc-prim
@@ -92,5 +92,8 @@
 
   if impl(ghc >= 7.4)
     exposed-modules: Data.Functor.Contravariant.Generic
+
+  if impl(ghc >= 7.10)
+    ghc-options: -fno-warn-trustworthy-safe
 
   ghc-options: -Wall
diff --git a/old-src/Data/Functor/Contravariant.hs b/old-src/Data/Functor/Contravariant.hs
--- a/old-src/Data/Functor/Contravariant.hs
+++ b/old-src/Data/Functor/Contravariant.hs
@@ -14,12 +14,8 @@
 #define MIN_VERSION_base(x,y,z) 1
 #endif
 
-#if __GLASGOW_HASKELL__ >= 704
-#if MIN_VERSION_transformers(0,3,0) && MIN_VERSION_tagged(0,6,1)
-{-# LANGUAGE Safe #-}
-#else
+#if __GLASGOW_HASKELL__ >= 702
 {-# LANGUAGE Trustworthy #-}
-#endif
 #endif
 
 {-# OPTIONS_GHC -fno-warn-deprecations #-}
diff --git a/src/Data/Functor/Contravariant/Generic.hs b/src/Data/Functor/Contravariant/Generic.hs
--- a/src/Data/Functor/Contravariant/Generic.hs
+++ b/src/Data/Functor/Contravariant/Generic.hs
@@ -1,6 +1,6 @@
 {-# LANGUAGE CPP #-}
-#if __GLASGOW_HASKELL__ >= 704
-{-# LANGUAGE Safe #-}
+#if __GLASGOW_HASKELL__ >= 702
+{-# LANGUAGE Trustworthy #-}
 #endif
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE ConstraintKinds #-}