diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,7 +1,13 @@
+0.7.1 -> 0.8
+- Update for GHC 8.2
+  - Updated to base-4.10.0.0
+  - Updated to template-haskell-2.12.0.0
+  - Updated to syb-0.7
+
 0.7 -> 0.7.1
 - Update for GHC 8.0.2
   - Updated to template-haskell-2.11.1.0
-  
+
 0.6 -> 0.7
 - Update for GHC 8.0
   - Updated to base-4.9.0.0
diff --git a/Data/Algebra/TH.hs b/Data/Algebra/TH.hs
--- a/Data/Algebra/TH.hs
+++ b/Data/Algebra/TH.hs
@@ -162,7 +162,7 @@
 buildSignatureDataType :: SignatureTH -> [Dec]
 buildSignatureDataType s =
   [DataD [] (signatureName s) [PlainTV (typeVarName s)] Nothing (constructor <$> operations s)
-    (map ConT [''Functor, ''Foldable, ''Traversable, ''Eq, ''Ord])]
+    [DerivClause Nothing (map ConT [''Functor, ''Foldable, ''Traversable, ''Eq, ''Ord])]]
 
 signatureInstances :: Name -> SignatureTH -> [Dec]
 signatureInstances nm s = [asInst, showInst, sigTFInst]
diff --git a/algebraic-classes.cabal b/algebraic-classes.cabal
--- a/algebraic-classes.cabal
+++ b/algebraic-classes.cabal
@@ -1,5 +1,5 @@
 name:                algebraic-classes
-version:             0.7.1
+version:             0.8
 synopsis:            Conversions between algebraic classes and F-algebras.
 description:         Algebraic classes are type classes where all the methods return a value of the same type, which is also the class parameter.
                      Examples from @base@ are @Num@ and @Monoid@.
@@ -36,9 +36,9 @@
     Data.Algebra.Internal
 
   build-depends:
-      base == 4.9.*
-    , syb == 0.6.*
-    , template-haskell == 2.11.*
+      base == 4.10.*
+    , syb == 0.7.*
+    , template-haskell == 2.12.*
 
 source-repository head
   type:     git