diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for patch
 
-## Unreleased
+## 0.0.0.1
+
+* Remove unneeded dependencies
+
+## 0.0.0.0
 
 * Extract patching functionality from Reflex.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,3 +1,3 @@
-## Patchable
+## Patch
 
 Infrastructure for writing patches which act on other types.
diff --git a/patch.cabal b/patch.cabal
--- a/patch.cabal
+++ b/patch.cabal
@@ -1,6 +1,10 @@
 Name: patch
-Version: 0.0.0.0
+Version: 0.0.0.1
 Synopsis: Infrastructure for writing patches which act on other types.
+Description:
+  In this library, a patch is something which can be applied, analogous to a
+  function, and which distinguishes returning the argument it was provided from
+  returning something else.
 License: BSD3
 License-file: LICENSE
 Author: Ryan Trinkle
@@ -22,29 +26,15 @@
 library
   hs-source-dirs: src
   build-depends: base >= 4.9 && < 4.14
-               , bifunctors >= 5.2 && < 5.6
-               , comonad >= 5.0.4 && < 5.1
                , constraints-extras >= 0.3 && < 0.4
                , containers >= 0.6 && < 0.7
                , dependent-map >= 0.3 && < 0.4
                , dependent-sum >= 0.6 && < 0.7
-               , lens >= 4.7 && < 5
                , monoidal-containers >= 0.6 && < 0.7
-               , mtl >= 2.1 && < 2.3
-               , prim-uniq >= 0.1.0.1 && < 0.2
-               , primitive >= 0.5 && < 0.8
-               , profunctors >= 5.3 && < 5.6
-               , random == 1.1.*
-               , ref-tf == 0.4.*
-               , reflection == 2.1.*
                , semialign >=1 && <1.2
                , semigroupoids >= 4.0 && < 6
-               , stm >= 2.4 && < 2.6
-               , syb >= 0.5 && < 0.8
                , these >= 1 && <1.1
-               , time >= 1.4 && < 1.10
                , transformers >= 0.5.6.0 && < 0.6
-               , unbounded-delays >= 0.1.0.0 && < 0.2
                , witherable >= 0.3 && < 0.3.2
 
   exposed-modules: Data.Functor.Misc
diff --git a/src/Data/Functor/Misc.hs b/src/Data/Functor/Misc.hs
--- a/src/Data/Functor/Misc.hs
+++ b/src/Data/Functor/Misc.hs
@@ -38,10 +38,10 @@
   ) where
 
 import Control.Applicative ((<$>))
-import Control.Monad.Identity
 import Data.Dependent.Map (DMap)
 import qualified Data.Dependent.Map as DMap
 import Data.Dependent.Sum
+import Data.Functor.Identity
 import Data.GADT.Compare
 import Data.GADT.Show
 import Data.IntMap (IntMap)
diff --git a/src/Data/Patch/Class.hs b/src/Data/Patch/Class.hs
--- a/src/Data/Patch/Class.hs
+++ b/src/Data/Patch/Class.hs
@@ -2,7 +2,7 @@
 -- | The interface for types which represent changes made to other types
 module Data.Patch.Class where
 
-import Control.Monad.Identity
+import Data.Functor.Identity
 import Data.Maybe
 import Data.Semigroup (Semigroup(..))
 
diff --git a/src/Data/Patch/MapWithMove.hs b/src/Data/Patch/MapWithMove.hs
--- a/src/Data/Patch/MapWithMove.hs
+++ b/src/Data/Patch/MapWithMove.hs
@@ -13,7 +13,7 @@
 import Data.Patch.Class
 
 import Control.Arrow
-import Control.Monad.State
+import Control.Monad.Trans.State
 import Data.Foldable
 import Data.Function
 import Data.List