diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Revision history for nonempty-vector
 
+## 0.1.0.0
+
+* Remove `MonadFail` instance for the sake of backcompat with LTS < 13
+* Drop Cabal version down to 2.0
+
 ## 0.0.1.1 -- 2019-10-20
 
 * Export `toMVector` and `fromMVector`
diff --git a/nonempty-vector.cabal b/nonempty-vector.cabal
--- a/nonempty-vector.cabal
+++ b/nonempty-vector.cabal
@@ -1,13 +1,13 @@
-cabal-version:       2.4
+cabal-version:       2.0
 name:                nonempty-vector
-version:             0.0.1.1
+version:             0.1.0.0
 synopsis:            Non-empty vectors
 description:
   Performant non-empty mutable and immutable vectors. These vectors strive to implement
   the common APIs seen in `vector` without any additional performance cost.
 homepage:            https://github.com/emilypi/nonempty-vector
 bug-reports:         https://github.com/emilypi/nonempty-vector/issues
-license:             BSD-3-Clause
+license:             BSD3
 license-file:        LICENSE
 author:              Emily Pillmore
 maintainer:          emilypi@cohomolo.gy
@@ -32,9 +32,9 @@
 
   build-depends:       base        >=4.9  && <5
                      , deepseq
-                     , primitive  ^>=0.6
-                     , semigroups  >=0.17 && <0.19
-                     , vector     ^>=0.12
+                     , primitive   >=0.6  && <0.8
+                     , semigroups  >=0.17 && <0.20
+                     , vector      >=0.12 && <0.13
 
   hs-source-dirs:      src
   default-language:    Haskell2010
@@ -51,5 +51,5 @@
   build-depends:       base             >=4.9  && <5
                      , nonempty-vector
                      , hedgehog         >=0.6  && <1.1
-                     , semigroups       >=0.17 && <0.19
-                     , vector          ^>=0.12
+                     , semigroups       >=0.17 && <0.20
+                     , vector           >=0.12 && <0.13
diff --git a/src/Data/Vector/NonEmpty.hs b/src/Data/Vector/NonEmpty.hs
--- a/src/Data/Vector/NonEmpty.hs
+++ b/src/Data/Vector/NonEmpty.hs
@@ -180,7 +180,6 @@
 import Control.Applicative
 import Control.DeepSeq hiding (force)
 import Control.Monad (Monad)
-import Control.Monad.Fail
 import Control.Monad.ST
 import Control.Monad.Zip (MonadZip)
 
@@ -219,7 +218,7 @@
       , Eq1, Ord1, Show1, Read1
       , Data, Typeable, Generic, NFData
       , Functor, Applicative, Monad
-      , MonadFail, MonadZip, Alternative
+      , MonadZip, Alternative
       , Semigroup
       )