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 `Data.Serialize.Serialize` 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-cereal.cabal b/exinst-cereal.cabal
--- a/exinst-cereal.cabal
+++ b/exinst-cereal.cabal
@@ -1,8 +1,8 @@
 name:                exinst-cereal
-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/Cereal.hs b/lib/Exinst/Cereal.hs
--- a/lib/Exinst/Cereal.hs
+++ b/lib/Exinst/Cereal.hs
@@ -27,7 +27,7 @@
 -- | Compatible with the 'Data.Bytes.Serial.Serial' instance and
 -- 'Data.Binary.Binary' instance, provided all of the 'Demote's and the fully
 -- applied @f@ instances are compatible as well.
-instance forall (f :: k1 -> Type).
+instance forall k1 (f :: k1 -> Type).
   ( SingKind k1
   , Cer.Serialize (Demote k1)
   , Dict1 Cer.Serialize f
@@ -51,7 +51,7 @@
 -- | Compatible with the 'Data.Bytes.Serial.Serial' instance and
 -- 'Data.Binary.Binary' instance, provided all of the 'Demote's and the fully
 -- applied @f@ instances are compatible as well.
-instance forall (f :: k2 -> k1 -> Type).
+instance forall k2 k1 (f :: k2 -> k1 -> Type).
   ( SingKind k2
   , SingKind k1
   , Cer.Serialize (Demote k2)
@@ -78,7 +78,7 @@
 -- | Compatible with the 'Data.Bytes.Serial.Serial' instance and
 -- 'Data.Binary.Binary' instance, provided all of the 'Demote's and the fully
 -- applied @f@ instances are compatible as well.
-instance forall (f :: k3 -> k2 -> k1 -> Type).
+instance forall k3 k2 k1 (f :: k3 -> k2 -> k1 -> Type).
   ( SingKind k3
   , SingKind k2
   , SingKind k1
@@ -108,7 +108,7 @@
 -- | Compatible with the 'Data.Bytes.Serial.Serial' instance and
 -- 'Data.Binary.Binary' instance, provided all of the 'Demote's and the fully
 -- applied @f@ instances are compatible as well.
-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