diff --git a/Induction/Structural/Types.hs b/Induction/Structural/Types.hs
--- a/Induction/Structural/Types.hs
+++ b/Induction/Structural/Types.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TemplateHaskell, FlexibleContexts #-}
 -- | Types
 module Induction.Structural.Types
     (
diff --git a/changelog b/changelog
new file mode 100644
--- /dev/null
+++ b/changelog
@@ -0,0 +1,3 @@
+structural-induction 0.2 (released 2015-04-10)
+	* Support GHC 7.10
+
diff --git a/structural-induction.cabal b/structural-induction.cabal
--- a/structural-induction.cabal
+++ b/structural-induction.cabal
@@ -1,6 +1,6 @@
 name:               structural-induction
 category:           Theorem Provers, Logic
-version:            0.1.2
+version:            0.2
 license:            LGPL-3
 license-file:       LICENSE
 author:             Dan Rosén
@@ -9,9 +9,10 @@
 bug-reports:        http://www.github.com/danr/structural-induction/issues
 build-type:         Simple
 cabal-version:      >= 1.8
-tested-with:        GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3
+tested-with:        GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3, GHC == 7.10.1
 synopsis:           Instantiate structural induction schemas for algebraic data types
 description:        See documentation for Induction.Structural
+extra-source-files: changelog
 
 source-repository head
   type: git
@@ -22,7 +23,7 @@
   manual: True
 
 library
-  ghc-options:    -Wall
+  ghc-options:    -Wall -fno-warn-unused-imports
   if flag(Werror)
     ghc-options: -Werror
 
@@ -48,7 +49,7 @@
   type:           exitcode-stdio-1.0
   main-is:        Main.hs
   hs-source-dirs: test
-  ghc-options:    -Wall
+  ghc-options:    -Wall -fno-warn-unused-imports
   if flag(Werror)
     ghc-options: -Werror
 
@@ -56,7 +57,7 @@
     structural-induction,
     base,
     pretty,
-    QuickCheck                >= 2.4,
+    QuickCheck                >= 2.8,
     mtl                       >= 2.1.2,
     language-haskell-extract,
     testing-feat              >= 0.4,