diff --git a/src/Data/Abstract/Address/Precise.hs b/src/Data/Abstract/Address/Precise.hs
index fe376b627..a78ae58b6 100644
--- a/src/Data/Abstract/Address/Precise.hs
+++ b/src/Data/Abstract/Address/Precise.hs
@@ -4,7 +4,6 @@ module Data.Abstract.Address.Precise
 ) where
 
 import           Control.Abstract
-import           Control.Abstract.ScopeGraph (AllocatorC (..))
 import           Control.Algebra
 import qualified Data.Set as Set
 import           Prologue
diff --git a/src/Semantic/Task.hs b/src/Semantic/Task.hs
index f1a649ab7..29d846639 100644
--- a/src/Semantic/Task.hs
+++ b/src/Semantic/Task.hs
@@ -1,4 +1,6 @@
-{-# LANGUAGE FlexibleContexts, FlexibleInstances, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TypeOperators, UndecidableInstances #-}
+{-# LANGUAGE FlexibleContexts, FlexibleInstances, GADTs, GeneralizedNewtypeDeriving, KindSignatures,
+             MultiParamTypeClasses, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TypeOperators,
+             UndecidableInstances #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 module Semantic.Task
 ( TaskC
@@ -84,8 +86,6 @@ serialize format input = do
   formatStyle <- asks (Flag.choose IsTerminal Plain Colourful . configIsTerminal)
   pure (runSerialize formatStyle format input)
 
-deriving instance MonadFail m => MonadFail (CatchC m)
-
 data TaskSession
   = TaskSession
   { config    :: Config
diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index b60d3fcd8..075726826 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -12,8 +12,6 @@ module Semantic.Util
 import Prelude hiding (readFile)
 
 import           Control.Abstract
-import           Control.Abstract.Heap (runHeapError)
-import           Control.Abstract.ScopeGraph (runScopeError)
 import           Control.Carrier.Fresh.Strict
 import           Control.Carrier.Parse.Simple
 import           Control.Carrier.Lift
@@ -21,7 +19,6 @@ import           Control.Carrier.Trace.Printing
 import           Control.Carrier.Reader
 import           Control.Carrier.Resumable.Either (SomeError (..))
 import           Control.Carrier.State.Strict
-import           Control.Exception (displayException)
 import           Control.Lens.Getter
 import           Data.Abstract.Address.Precise as Precise
 import           Data.Abstract.Evaluatable