diff --git a/extensible-effects.cabal b/extensible-effects.cabal
--- a/extensible-effects.cabal
+++ b/extensible-effects.cabal
@@ -6,7 +6,7 @@
 -- PVP summary:      +-+------- breaking API changes
 --                   | | +----- non-breaking API additions
 --                   | | | +--- code changes with no API change
-version:             1.10.0.1
+version:             1.11.0.0
 
 -- A short (one-line) description of the package.
 synopsis:            An Alternative to Monad Transformers
diff --git a/src/Control/Eff/Lift.hs b/src/Control/Eff/Lift.hs
--- a/src/Control/Eff/Lift.hs
+++ b/src/Control/Eff/Lift.hs
@@ -25,6 +25,7 @@
 import Control.Monad.Base
 import Control.Monad.IO.Class (MonadIO (..))
 import Data.Typeable
+import Data.Void
 
 #if __GLASGOW_HASKELL__ >= 708
 #define Typeable1 Typeable
@@ -59,7 +60,7 @@
 
 -- | The handler of Lift requests. It is meant to be terminal:
 -- we only allow a single Lifted Monad.
-runLift :: (Monad m, Typeable1 m) => Eff (Lift m :> ()) w -> m w
+runLift :: (Monad m, Typeable1 m) => Eff (Lift m :> Void) w -> m w
 runLift = loop
   where
     loop = freeMap
diff --git a/src/Control/Eff/Trace.hs b/src/Control/Eff/Trace.hs
--- a/src/Control/Eff/Trace.hs
+++ b/src/Control/Eff/Trace.hs
@@ -10,6 +10,7 @@
                         ) where
 
 import Data.Typeable
+import Data.Void
 
 import Control.Eff
 
@@ -22,7 +23,7 @@
 trace x = send . inj $ Trace x id
 
 -- | Run a computation producing Traces.
-runTrace :: Eff (Trace :> ()) w -> IO w
+runTrace :: Eff (Trace :> Void) w -> IO w
 runTrace = loop
   where
     loop = freeMap