diff --git a/haskell-names.cabal b/haskell-names.cabal
--- a/haskell-names.cabal
+++ b/haskell-names.cabal
@@ -1,5 +1,5 @@
 Name:                   haskell-names
-Version:                0.9.4
+Version:                0.9.5
 License:                BSD3
 Author:                 Philipp Schuster, Roman Cheplyaka, Lennart Augustsson
 Maintainer:             Philipp Schuster
@@ -236,7 +236,7 @@
   Default-Language: Haskell2010
   Build-depends:
       base >= 4 && < 5
-    , haskell-src-exts >= 1.20 && < 1.21
+    , haskell-src-exts >= 1.21 && < 1.22
     , mtl >= 2.2.1 && < 2.3
     , transformers >=0.4.2.0 && < 0.6
     , filepath >= 1.1 && < 1.5
@@ -283,7 +283,7 @@
   Build-depends:
       base >= 4 && < 5
     , haskell-names
-    , haskell-src-exts >= 1.20 && < 1.21
+    , haskell-src-exts >= 1.21 && < 1.22
     , mtl >= 2.2.1 && < 2.3
     , filepath >= 1.1 && <1.5
     , containers >= 0.2 && < 0.7
diff --git a/src/Language/Haskell/Names/GetBound.hs b/src/Language/Haskell/Names/GetBound.hs
--- a/src/Language/Haskell/Names/GetBound.hs
+++ b/src/Language/Haskell/Names/GetBound.hs
@@ -83,7 +83,7 @@
     getBound ctx (QualConDecl _ _ _ d) = getBound ctx d
 
 instance (Data l) => GetBound (GadtDecl l) l where
-    getBound _ctx (GadtDecl _l conName mbFieldDecls _ty) =
+    getBound _ctx (GadtDecl _l conName _ _ mbFieldDecls _ty) =
       -- GADT constructor name
       [conName] ++
       -- GADT selector names
diff --git a/src/Language/Haskell/Names/ModuleSymbols.hs b/src/Language/Haskell/Names/ModuleSymbols.hs
--- a/src/Language/Haskell/Names/ModuleSymbols.hs
+++ b/src/Language/Haskell/Names/ModuleSymbols.hs
@@ -65,7 +65,7 @@
 
         cons :: [(Name l,[Name l])]
         cons = do -- list monad
-          GadtDecl _ cn (fromMaybe [] -> fields) _ty <- gadtDecls
+          GadtDecl _ cn _ _ (fromMaybe [] -> fields) _ty <- gadtDecls
           return (cn , [f | FieldDecl _ fNames _ <- fields, f <- fNames])
 
         infos = constructorsToInfos modulename dq cons          
@@ -104,7 +104,7 @@
       -- FIXME: We shouldn't create selectors for fields with existential type variables!
         cons :: [(Name l,[Name l])]
         cons = do -- list monad
-          GadtDecl _ cn (fromMaybe [] -> fields) _ty <- gadtDecls
+          GadtDecl _ cn _ _ (fromMaybe [] -> fields) _ty <- gadtDecls
           return (cn , [f | FieldDecl _ fNames _ <- fields, f <- fNames])
 
     _ -> [])
diff --git a/src/Language/Haskell/Names/Open/Derived.hs b/src/Language/Haskell/Names/Open/Derived.hs
--- a/src/Language/Haskell/Names/Open/Derived.hs
+++ b/src/Language/Haskell/Names/Open/Derived.hs
@@ -81,8 +81,6 @@
 
 deriveGTraversable ''TyVarBind
 
-deriveGTraversable ''Kind
-
 deriveGTraversable ''FunDep
 
 deriveGTraversable ''Context