Remove unused constraints

Author: Ericson2314

patch.cabal

@@ -22,29 +22,15 @@ tested-with:
 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

src/Data/Functor/Misc.hs

@@ -38,10 +38,10 @@ module Data.Functor.Misc
   ) 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)

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(..))
 

src/Data/Patch/MapWithMove.hs

@@ -13,7 +13,7 @@ module Data.Patch.MapWithMove where
 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