diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,6 @@
+1.1.0
+
+* BREAKING CHANGE: Enable `PolyKinds`
+    * This should in theory be a non-breaking change, but due to a bug in
+      GHC 8.0.1 and kind inference ambiguities I'm marking this as a breaking
+      change
diff --git a/mmorph.cabal b/mmorph.cabal
--- a/mmorph.cabal
+++ b/mmorph.cabal
@@ -1,5 +1,5 @@
 Name: mmorph
-Version: 1.0.9
+Version: 1.1.0
 Cabal-Version: >= 1.8.0.2
 Build-Type: Simple
 License: BSD3
@@ -12,6 +12,7 @@
 Description: This library provides monad morphism utilities, most commonly used
     for manipulating monad transformer stacks.
 Category: Control
+Extra-Source-Files: CHANGELOG.md
 Source-Repository head
     Type: git
     Location: https://github.com/Gabriel439/Haskell-MMorph-Library
@@ -20,7 +21,7 @@
     Hs-Source-Dirs: src
     Build-Depends:
         base                >= 4       && < 5  ,
-        mtl                 >= 2.0.1   && < 2.3,
+        mtl                 >= 2.1     && < 2.3,
         transformers        >= 0.2.0.0 && < 0.6,
         transformers-compat >= 0.3     && < 0.6
     Exposed-Modules: Control.Monad.Morph, Control.Monad.Trans.Compose
diff --git a/src/Control/Monad/Morph.hs b/src/Control/Monad/Morph.hs
--- a/src/Control/Monad/Morph.hs
+++ b/src/Control/Monad/Morph.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, RankNTypes #-}
+{-# LANGUAGE CPP, RankNTypes, PolyKinds #-}
 
 {-| A monad morphism is a natural transformation: