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.Bytes.Serial.Serial` instances
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-bytes.cabal b/exinst-bytes.cabal
--- a/exinst-bytes.cabal
+++ b/exinst-bytes.cabal
@@ -1,8 +1,8 @@
 name:                exinst-bytes
-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/Bytes.hs b/lib/Exinst/Bytes.hs
--- a/lib/Exinst/Bytes.hs
+++ b/lib/Exinst/Bytes.hs
@@ -27,7 +27,7 @@
 -- | Compatible with the 'Data.Binary.Binary' instance and
 -- 'Data.Serialize.Serialize' 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
   , By.Serial (Demote k1)
   , Dict1 By.Serial f
@@ -51,7 +51,7 @@
 -- | Compatible with the 'Data.Binary.Binary' instance and
 -- 'Data.Serialize.Serialize' 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
   , By.Serial (Demote k2)
@@ -78,7 +78,7 @@
 -- | Compatible with the 'Data.Binary.Binary' instance and
 -- 'Data.Serialize.Serialize' 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.Binary.Binary' instance and
 -- 'Data.Serialize.Serialize' 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