diff --git a/Data/Constraint.hs b/Data/Constraint.hs
--- a/Data/Constraint.hs
+++ b/Data/Constraint.hs
@@ -8,6 +8,7 @@
 {-# LANGUAGE EmptyDataDecls #-}
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE Trustworthy #-}
 {-# LANGUAGE Rank2Types #-}
 {-# LANGUAGE GADTs #-}
@@ -43,7 +44,9 @@
   , (:=>)(..)
   ) where
 import Control.Monad
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 707
 import Control.Category
+#endif
 import Control.Applicative
 import Data.Monoid
 import Data.Complex
@@ -144,7 +147,7 @@
 --
 -- This demonstrates the law of classical logical <http://en.wikipedia.org/wiki/Principle_of_explosion ex falso quodlibet>
 bottom :: (() ~ Bool) :- c
-bottom = thing
+bottom = falso
 
 -- | Reify the relationship between a class and its superclass constraints as a class
 class Class b h | h -> b where
diff --git a/constraints.cabal b/constraints.cabal
--- a/constraints.cabal
+++ b/constraints.cabal
@@ -1,6 +1,6 @@
 name:          constraints
 category:      Constraints
-version:       0.3.4
+version:       0.3.4.1
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE