diff --git a/src/Control/Monad/Unify/Trans.purs b/src/Control/Monad/Unify/Trans.purs
index 780184b..9221fc6 100644
--- a/src/Control/Monad/Unify/Trans.purs
+++ b/src/Control/Monad/Unify/Trans.purs
@@ -7,8 +7,8 @@ import Control.Monad (class Monad)
 import Control.Monad.State.Trans (StateT, runStateT)
 import Control.Monad.State.Class (gets, modify)
 import Control.Monad.Unify.Class (class MonadUnify, class Unifiable, class UnificationVariable, Stream, pop, squash, variable, variables, reify, unify)
-import Control.Apply (class Apply, apply)
-import Control.Alt (class Alt, alt)
+import Control.Apply (class Apply)
+import Control.Alt (class Alt)
 import Control.Alternative (class Alternative)
 import Control.Applicative (class Applicative, pure)
 import Control.Bind (class Bind, bind, (>>=))
@@ -20,7 +20,7 @@ import Data.Map as Map
 import Data.Set (Set, singleton, union)
 import Data.Tuple (Tuple(..), fst)
 import Data.Tuple.Nested ((/\))
-import Data.Newtype (class Newtype, un, over2)
+import Data.Newtype (class Newtype, un)
 import Data.Maybe (Maybe(..), fromMaybe, isJust)
 
 type UnificationState k f =