Fix imports.

semantic-core/src/Control/Monad/Module.hs

@@ -6,7 +6,7 @@ module Control.Monad.Module
 , joinr
 ) where
 
-import Control.Effect.Carrier
+import Control.Carrier
 
 -- | Modules over monads allow lifting of a monad’s product (i.e. 'Control.Monad.join') into another structure composed with the monad. A right-module @f m@ over a monad @m@ therefore allows one to extend @m@’s '>>=' operation to values of @f m@ using the '>>=*' operator.
 --

semantic-core/src/Data/Scope.hs

@@ -17,7 +17,7 @@ module Data.Scope
 ) where
 
 import Control.Applicative (liftA2)
-import Control.Effect.Carrier
+import Control.Carrier
 import Control.Monad ((>=>), guard)
 import Control.Monad.Module
 import Control.Monad.Trans.Class

semantic-core/src/Data/Term.hs

@@ -4,7 +4,7 @@ module Data.Term
 , hoistTerm
 ) where
 
-import Control.Effect.Carrier
+import Control.Carrier
 import Control.Monad (ap)
 import Control.Monad.Module