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 `ToJSON` and `FromJSON` 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-aeson.cabal b/exinst-aeson.cabal
--- a/exinst-aeson.cabal
+++ b/exinst-aeson.cabal
@@ -1,8 +1,8 @@
 name:                exinst-aeson
-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/Aeson.hs b/lib/Exinst/Aeson.hs
--- a/lib/Exinst/Aeson.hs
+++ b/lib/Exinst/Aeson.hs
@@ -23,7 +23,7 @@
 
 --------------------------------------------------------------------------------
 
-instance forall (f :: k1 -> Type)
+instance forall k1 (f :: k1 -> Type)
   . ( SingKind k1
     , Ae.ToJSON (Demote k1)
     , Dict1 Ae.ToJSON f
@@ -34,7 +34,7 @@
        case dict1 sa1 :: Dict (Ae.ToJSON (f a1)) of
           Dict -> Ae.toJSON (fromSing sa1, x)
 
-instance forall (f :: k2 -> k1 -> Type)
+instance forall k2 k1 (f :: k2 -> k1 -> Type)
   . ( SingKind k2
     , SingKind k1
     , Ae.ToJSON (Demote k2)
@@ -47,7 +47,7 @@
        case dict2 sa2 sa1 :: Dict (Ae.ToJSON (f a2 a1)) of
           Dict -> Ae.toJSON ((fromSing sa2, fromSing 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
@@ -62,7 +62,7 @@
        case dict3 sa3 sa2 sa1 :: Dict (Ae.ToJSON (f a3 a2 a1)) of
           Dict -> Ae.toJSON ((fromSing sa3, fromSing sa2, fromSing 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
@@ -81,7 +81,7 @@
 
 --------------------------------------------------------------------------------
 
-instance forall (f :: k1 -> Type)
+instance forall k1 (f :: k1 -> Type)
   . ( SingKind k1
     , Ae.FromJSON (Demote k1)
     , Dict1 Ae.FromJSON f
@@ -96,7 +96,7 @@
                x :: f a1 <- Ae.parseJSON v'
                pure (Some1 sa1 x)
 
-instance forall (f :: k2 -> k1 -> Type)
+instance forall k2 k1 (f :: k2 -> k1 -> Type)
   . ( SingKind k2
     , SingKind k1
     , Ae.FromJSON (Demote k2)
@@ -114,7 +114,7 @@
                   x :: f a2 a1 <- Ae.parseJSON v'
                   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
@@ -135,7 +135,7 @@
                      x :: f a3 a2 a1 <- Ae.parseJSON v'
                      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