diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# Version 0.7.1
+
+* Builds with GHC 8.10.
+
 # Version 0.7
 
 * This library exports the `Codec.Serialise.Serialise` instances previously
diff --git a/Setup.hs b/Setup.hs
deleted file mode 100644
--- a/Setup.hs
+++ /dev/null
@@ -1,2 +0,0 @@
-import Distribution.Simple
-main = defaultMain
diff --git a/exinst-serialise.cabal b/exinst-serialise.cabal
--- a/exinst-serialise.cabal
+++ b/exinst-serialise.cabal
@@ -1,8 +1,8 @@
 name:                exinst-serialise
-version:             0.7
+version:             0.7.1
 author:              Renzo Carbonara
 maintainer:          renλren!zone
-copyright:           Renzo Carbonara 2015-2018
+copyright:           Renzo Carbonara 2015
 license:             BSD3
 license-file:        LICENSE.txt
 extra-source-files:  README.md CHANGELOG.md
diff --git a/lib/Exinst/Serialise.hs b/lib/Exinst/Serialise.hs
--- a/lib/Exinst/Serialise.hs
+++ b/lib/Exinst/Serialise.hs
@@ -26,7 +26,7 @@
 
 --------------------------------------------------------------------------------
 
-instance forall (f :: k1 -> Type)
+instance forall k1 (f :: k1 -> Type)
   . ( SingKind k1
     , Serialise (Demote k1)
     , Dict1 Serialise f
@@ -46,7 +46,7 @@
                x :: f a1 <- decode
                pure (Some1 sa1 x)
 
-instance forall (f :: k2 -> k1 -> Type)
+instance forall k2 k1 (f :: k2 -> k1 -> Type)
   . ( SingKind k2
     , SingKind k1
     , Serialise (Demote k2)
@@ -71,7 +71,7 @@
                   x :: f a2 a1 <- decode
                   pure (Some2 sa2 sa1 x)
 
-instance forall (f :: k3 -> k2 -> k1 -> Type)
+instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> Type)
   . ( SingKind k3
     , SingKind k2
     , SingKind k1
@@ -97,7 +97,7 @@
                      x :: f a3 a2 a1 <- decode
                      pure (Some3 sa3 sa2 sa1 x)
 
-instance forall (f :: k4 -> k3 -> k2 -> k1 -> Type)
+instance forall k4 k3 k2 k1 (f :: k4 -> k3 -> k2 -> k1 -> Type)
   . ( SingKind k4
     , SingKind k3
     , SingKind k2