diff --git a/src/Control/Abstract/PythonPackage.hs b/src/Control/Abstract/PythonPackage.hs
index c7d2d94ff..271ab3527 100644
--- a/src/Control/Abstract/PythonPackage.hs
+++ b/src/Control/Abstract/PythonPackage.hs
@@ -16,23 +16,13 @@ data Strategy = Unknown | Packages [Text] | FindPackages [Text]
   deriving (Show, Eq)
 
 runPythonPackaging :: ( Carrier sig m
-                      , Ord address
                       , Show address
                       , Show term
-                      , Member Trace sig
                       , Member (Boolean (Value term address)) sig
                       , Member (Abstract.String (Value term address)) sig
-                      , Member (State (Heap address address (Value term address))) sig
-                      , Member (Resumable (BaseError (AddressError address (Value term address)))) sig
                       , Member (Resumable (BaseError (ValueError term address))) sig
-                      , Member Fresh sig
                       , Member (State Strategy) sig
-                      , Member (Allocator address) sig
-                      , Member (Deref (Value term address)) sig
-                      , Member (Error (LoopControl (Value term address))) sig
-                      , Member (Error (Return (Value term address))) sig
                       , Member (Reader ModuleInfo) sig
-                      , Member (Reader PackageInfo) sig
                       , Member (Reader Span) sig
                       , Member (Function term address (Value term address)) sig)
                    => Evaluator term address (Value term address) (PythonPackagingC term address (Eff m)) a
@@ -46,23 +36,13 @@ wrap :: Evaluator term address (Value term address) m a -> PythonPackagingC term
 wrap = PythonPackagingC . runEvaluator
 
 instance ( Carrier sig m
-         , Member (Allocator address) sig
          , Member (Boolean (Value term address)) sig
-         , Member (Deref (Value term address)) sig
-         , Member (Error (LoopControl (Value term address))) sig
-         , Member (Error (Return (Value term address))) sig
-         , Member Fresh sig
          , Member (Function term address (Value term address)) sig
          , Member (Reader ModuleInfo) sig
-         , Member (Reader PackageInfo) sig
          , Member (Reader Span) sig
-         , Member (Resumable (BaseError (AddressError address (Value term address)))) sig
          , Member (Resumable (BaseError (ValueError term address))) sig
-         , Member (State (Heap address address (Value term address))) sig
          , Member (State Strategy) sig
          , Member (Abstract.String (Value term address)) sig
-         , Member Trace sig
-         , Ord address
          , Show address
          , Show term
          )