diff --git a/djinn-lib.cabal b/djinn-lib.cabal
--- a/djinn-lib.cabal
+++ b/djinn-lib.cabal
@@ -1,6 +1,6 @@
 name:           djinn-lib
-version:        0.0.1.3
-cabal-version:  >= 1.6
+version:        0.0.1.4
+cabal-version:  >= 1.10
 license:        BSD3
 license-file:	LICENSE
 author:	        Lennart Augustsson
@@ -14,16 +14,13 @@
 build-type:     Simple
 
 library
-  hs-source-dirs:  src
-  build-depends:   base >= 4 && < 5,
-                   mtl,
-                   containers,
-                   pretty
-  exposed-modules: Djinn.HCheck,
-                   Djinn.HTypes,
-                   Djinn.LJT,
-                   Djinn.LJTFormula
-
-source-repository head
-  type:     git
-  location: https://github.com/serras/djinn-lib
+  hs-source-dirs:   src
+  build-depends:    base >= 4.6 && < 5,
+                    mtl,
+                    containers,
+                    pretty
+  exposed-modules:  Djinn.HCheck,
+                    Djinn.HTypes,
+                    Djinn.LJT,
+                    Djinn.LJTFormula
+  default-language: Haskell98
diff --git a/src/Djinn/HCheck.hs b/src/Djinn/HCheck.hs
--- a/src/Djinn/HCheck.hs
+++ b/src/Djinn/HCheck.hs
@@ -23,6 +23,12 @@
 
 -- import Debug.Trace
 
+#if MIN_VERSION_mtl(2,3,0)
+-- mtl >= 2.3 does not define liftM2
+liftM2 :: Applicative f => (a -> b -> c) -> f a -> f b -> f c
+liftM2 f x y = f <$> x <*> y
+#endif
+
 type KState = (Int, IntMap (Maybe HKind))
 initState :: KState
 initState = (0, empty)
diff --git a/src/Djinn/HTypes.hs b/src/Djinn/HTypes.hs
--- a/src/Djinn/HTypes.hs
+++ b/src/Djinn/HTypes.hs
@@ -31,7 +31,7 @@
 import Control.Monad (zipWithM)
 import Data.Char (isAlpha, isAlphaNum, isUpper)
 import Data.List (union, (\\))
-#ifdef MIN_VERSION_base(4,11,0)
+#if MIN_VERSION_base(4,11,0)
 import Prelude hiding ((<>))
 #endif
 import Text.ParserCombinators.ReadP