diff --git a/src/Data/StructuralTraversal/TH.hs b/src/Data/StructuralTraversal/TH.hs
--- a/src/Data/StructuralTraversal/TH.hs
+++ b/src/Data/StructuralTraversal/TH.hs
@@ -14,9 +14,9 @@
 deriveStructTrav :: Name -> Q [Dec]
 deriveStructTrav nm = reify nm >>= (\case
   TyConI dt -> case dt of
-    DataD _ tyConName typArgs dataCons _ -> 
+    DataD _ tyConName typArgs _ dataCons _ -> 
       createInstance tyConName typArgs dataCons  
-    NewtypeD _ tyConName typArgs dataCon _ -> 
+    NewtypeD _ tyConName typArgs _ dataCon _ -> 
       createInstance tyConName typArgs [dataCon]  
     _ -> fail "Unsupported data type"
   _ -> fail "Expected the name of a data type or newtype"
@@ -26,7 +26,8 @@
 createInstance tyConName typArgs dataCons   
           = do (upClauses, preds) <- unzip <$> mapM (createClause upName) dataCons
                (downClauses, _) <- unzip <$> mapM (createClause downName) dataCons
-               return [InstanceD (concat preds) 
+               return [InstanceD Nothing
+                                 (concat preds) 
                                  (AppT (ConT className) 
                                  (foldl AppT (ConT tyConName) 
                                         (map getTypVarTyp (init typArgs))))
diff --git a/structural-traversal.cabal b/structural-traversal.cabal
--- a/structural-traversal.cabal
+++ b/structural-traversal.cabal
@@ -1,5 +1,5 @@
 name:                structural-traversal
-version:             0.1.0.0
+version:             0.1.1.0
 synopsis:            Initial project template from stack
 description:         Please see README.md
 homepage:            http://github.com/nboldi/structural-traversal#readme
@@ -21,7 +21,7 @@
                      , Data.StructuralTraversal.Indexing
                      , Data.StructuralTraversal.Instances
                      , Data.StructuralTraversal.TH
-  build-depends:       base >= 4.7 && < 5
+  build-depends:       base >= 4.9 && < 5
                      , template-haskell >= 2.9.0.0
                      , mtl >= 2.2.1
   default-language:    Haskell2010
@@ -30,7 +30,7 @@
   type:                exitcode-stdio-1.0
   hs-source-dirs:      test
   main-is:             Example.hs
-  build-depends:       base >= 4.7 && < 5
+  build-depends:       base >= 4.9 && < 5
                      , HUnit >= 1.2 && < 1.4
                      , structural-traversal
                      , mtl >= 2.2.1