diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 1.7.1.1 (2019-07-05)
+
+- Allow newer dependencies, update cabal file
+
 # 1.7.1 (2018-01-29)
 
 - Correct *Safe Haskell* annotations. See https://github.com/ekmett/semigroupoids/issues/69
diff --git a/lattices.cabal b/lattices.cabal
--- a/lattices.cabal
+++ b/lattices.cabal
@@ -1,5 +1,5 @@
 name:               lattices
-version:            1.7.1
+version:            1.7.1.1
 cabal-version:      >= 1.10
 category:           Math
 license:            BSD3
@@ -11,7 +11,7 @@
 copyright:          (C) 2010-2015 Maximilian Bolingbroke
 build-type:         Simple
 extra-source-files: README.md CHANGELOG.md
-tested-with:        GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.1
+tested-with:        GHC==7.4.2, GHC==7.6.3, GHC==7.8.4, GHC==7.10.3, GHC==8.0.2, GHC==8.2.2, GHC==8.4.3
 synopsis:           Fine-grained library for constructing and manipulating lattices
 description:
   In mathematics, a lattice is a partially ordered set in which every two
@@ -39,14 +39,14 @@
                     Algebra.PartialOrd,
                     Algebra.PartialOrd.Instances
 
-  build-depends:    base                       >= 4.5     && < 4.11,
-                    base-compat                >= 0.9.3   && < 0.10,
+  build-depends:    base                       >= 4.5     && < 4.12,
+                    base-compat                >= 0.9.3   && < 0.11,
                     containers                 >= 0.4.2.1 && < 0.6,
                     deepseq                    >= 1.3.0.0 && < 1.5,
                     hashable                   >= 1.2.6.1 && < 1.3,
                     tagged                     >= 0.8.5   && < 0.9,
                     unordered-containers       >= 0.2.6.0 && < 0.3,
-                    semigroupoids              >= 5.2.2   && < 5.3,
+                    semigroupoids              >= 5.2.2   && < 5.4,
                     universe-base              >= 1.0     && < 1.1,
                     universe-reverse-instances >= 1.0     && < 1.1
   hs-source-dirs:   src
@@ -70,13 +70,16 @@
   ghc-options:         -Wall
   default-language:    Haskell2010
   build-depends:       base,
-                       base-compat          >= 0.9.3 && <0.10,
-                       tasty                >= 0.10  && < 0.12,
-                       tasty-quickcheck     >= 0.8   && < 0.10,
-                       QuickCheck           >= 2.10  && <2.11,
+                       base-compat,
+                       tasty                >= 0.10  && < 1.2,
+                       tasty-quickcheck     >= 0.8   && < 0.11,
+                       QuickCheck           >= 2.10  && <2.12,
                        quickcheck-instances >=0.3.16 && <0.4,
                        universe-instances-base >= 1.0 && <1.1,
                        lattices,
                        containers,
                        transformers,
                        unordered-containers
+
+  if !impl(ghc >= 8.0)
+    build-depends:  semigroups                 >= 0.18.3 && < 0.19
diff --git a/test/Tests.hs b/test/Tests.hs
--- a/test/Tests.hs
+++ b/test/Tests.hs
@@ -9,7 +9,7 @@
 import Prelude.Compat
 
 import Data.Maybe (listToMaybe, isJust)
-import Data.Monoid ((<>))
+import Data.Semigroup ((<>))
 import Control.Monad (ap, guard)
 import Test.QuickCheck.Function
 import Test.Tasty