diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 1.12.1 [2018.01.11]
+* Remove a test that won't work on GHC 8.4.
+
 # 1.12 [2017.12.07]
 * Adapt to the `EmptyDataDeriving` proposal (introduced in GHC 8.4):
   * `Generics.Deriving.TH` now derives `to(1)` and `from(1)` implementations
diff --git a/generic-deriving.cabal b/generic-deriving.cabal
--- a/generic-deriving.cabal
+++ b/generic-deriving.cabal
@@ -1,5 +1,5 @@
 name:                   generic-deriving
-version:                1.12
+version:                1.12.1
 synopsis:               Generic programming library for generalised deriving.
 description:
 
@@ -33,6 +33,7 @@
                       , GHC == 7.10.3
                       , GHC == 8.0.2
                       , GHC == 8.2.2
+                      , GHC == 8.4.1
 extra-source-files:     CHANGELOG.md
                       , README.md
 
@@ -91,6 +92,7 @@
                       , generic-deriving
                       , hspec            >= 2    && < 3
                       , template-haskell >= 2.4  && < 2.13
+  build-tool-depends:   hspec-discover:hspec-discover
   hs-source-dirs:       tests
   default-language:     Haskell2010
   ghc-options:          -Wall -threaded -rtsopts
diff --git a/tests/ExampleSpec.hs b/tests/ExampleSpec.hs
--- a/tests/ExampleSpec.hs
+++ b/tests/ExampleSpec.hs
@@ -342,11 +342,6 @@
                | MyType1Cons2 (f :/: a) Int a (f a)
                | (f :/: a) :/: MyType2
 
-infixr 5 :!@!:
-data GADTSyntax a b where
-  GADTPrefix :: d -> c -> GADTSyntax c d
-  (:!@!:)    :: e -> f -> GADTSyntax e f
-
 data MyType2 = MyType2 Float ([] :/: Int)
 data PlainHash a = Hash a Addr# Char# Double# Float# Int# Word#
 
@@ -393,7 +388,6 @@
 
 $(deriveAll0And1 ''Empty)
 $(deriveAll0And1 ''(:/:))
-$(deriveAll0And1 ''GADTSyntax)
 $(deriveAll0     ''MyType2)
 $(deriveAll0And1 ''PlainHash)
 $(deriveAll0     ''ExampleSpec.Lexeme)