diff --git a/haskell-src-meta.cabal b/haskell-src-meta.cabal
--- a/haskell-src-meta.cabal
+++ b/haskell-src-meta.cabal
@@ -1,5 +1,5 @@
 name:               haskell-src-meta
-version:            0.7.0
+version:            0.7.0.1
 cabal-version:      >= 1.6
 build-type:         Simple
 license:            BSD3
diff --git a/src/Language/Haskell/Meta/Syntax/Translate.hs b/src/Language/Haskell/Meta/Syntax/Translate.hs
--- a/src/Language/Haskell/Meta/Syntax/Translate.hs
+++ b/src/Language/Haskell/Meta/Syntax/Translate.hs
@@ -352,6 +352,7 @@
       toUnpack (Hs.Unpack _) = SourceUnpack
       toUnpack (Hs.NoUnpack _) = SourceNoUnpack
       toUnpack (Hs.NoUnpackPragma _) = NoSourceUnpackedness
+toStrictType x = (Bang NoSourceUnpackedness NoSourceStrictness, toType x)
 #else
 -- TyBang l (BangType l) (Unpackedness l) (Type l)
 -- data BangType l = BangedTy l	| LazyTy l | NoStrictAnnot l
@@ -362,6 +363,7 @@
       toStrict (Hs.BangedTy _) _ = IsStrict
       toStrict _ (Hs.Unpack _) = Unpacked
       toStrict _ _ = NotStrict
+toStrictType x = (NotStrict, toType x)
 #endif
 #else
 #if MIN_VERSION_template_haskell(2,11,0)
@@ -443,7 +445,9 @@
 #endif
                              (fmap qualConDeclToCon qcds)
 #if MIN_VERSION_template_haskell(2,11,0)
-                             (toCxt qns)
+                             -- Convert a Deriving into a list of types, one for each derived class
+                             -- Assumes that the types do not have any contexts
+                             (maybe [] (\(Hs.Deriving _ q) -> map toType q) qns)
 #else
                              (toNames qns)
 #endif
@@ -459,7 +463,7 @@
 #endif
                                     (qualConDeclToCon qcd)
 #if MIN_VERSION_template_haskell(2,11,0)
-                                    (toCxt qns)
+                                    (maybe [] (\(Hs.Deriving _ q) -> map toType q) qns)
 #else
                                     (toNames qns)
 #endif