diff --git a/ivory.cabal b/ivory.cabal
--- a/ivory.cabal
+++ b/ivory.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory
-version:             0.1.0.8
+version:             0.1.0.9
 author:              Galois, Inc.
 maintainer:          trevor@galois.com, leepike@galois.com
 category:            Language
@@ -87,7 +87,7 @@
                         pretty >= 1.1,
                         containers >= 0.5,
                         monadLib >= 3.7,
-                        template-haskell >= 2.8 && <2.14,
+                        template-haskell >= 2.8 && <3,
                         th-abstraction >=0.2.5 && <0.3,
                         filepath,
                         text,
diff --git a/src/Ivory/Language/Ref.hs b/src/Ivory/Language/Ref.hs
--- a/src/Ivory/Language/Ref.hs
+++ b/src/Ivory/Language/Ref.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE ScopedTypeVariables #-}
@@ -5,6 +6,10 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE InstanceSigs #-}
+
+#if MIN_VERSION_base(4,10,0)
+{-# OPTIONS_GHC -fno-warn-simplifiable-class-constraints #-}
+#endif
 
 module Ivory.Language.Ref
   ( ConstRef