@@ -11,7 +11,6 @@ import Control.Monad.Base
1111import Control.Monad.Catch
1212import Control.Monad.Except
1313import Control.Monad.State.Strict
14−import Control.Monad.Trans.Lift.Local
1514import Data.Aeson
1615import Data.Foldable as F
1716import Data.List as L
@@ -32,9 +31,6 @@ newtype ValidationT e m a = ValidationT
3231instance MonadTrans (ValidationT e) where
3332 lift = ValidationT . lift . lift
3433
35−instance LiftLocal (ValidationT e) where
36− liftLocal _ l f = ValidationT . mapExceptT (mapStateT $ l f) . unValidationT
37−
3834-- | Map with 'Monoid' instance which 'mappend' its values
3935newtype MonoidMap k v = MonoidMap (Map k v)
4036 deriving (Eq, Ord, Show, Arbitrary)