diff --git a/src/Polysemy.hs b/src/Polysemy.hs
index 9cb27be..0dc5816 100644
--- a/src/Polysemy.hs
+++ b/src/Polysemy.hs
@@ -3,7 +3,6 @@ module Polysemy
     Sem ()
   , Member
   , Members
-  , type (>@>)
 
   -- * Running Sem
   , run
diff --git a/src/Polysemy/Internal.hs b/src/Polysemy/Internal.hs
index 5203c26..a1518da 100644
--- a/src/Polysemy/Internal.hs
+++ b/src/Polysemy/Internal.hs
@@ -7,7 +7,6 @@ module Polysemy.Internal
   ( Sem (..)
   , Member
   , Members
-  , type (>@>)
   , send
   , sendM
   , run
@@ -156,28 +155,6 @@ type family Members es r :: Constraint where
   Members (e ': es) r = (Member e r, Members es r)
 
 
-------------------------------------------------------------------------------
--- | Compact alternative to 'Sem' type with 'Member' effects:
---
--- @
--- foo :: \'['Polysemy.Output.Output' Int, 'Polysemy.Output.Output' Bool] >@> ()
--- @
---
--- translates into:
---
--- @
--- foo :: ( 'Member' ('Polysemy.Output.Output' Int) r
---        , 'Member' ('Polysemy.Output.Output' Bool) r
---        )
---     => 'Sem' r ()
--- @
---
--- (NB: keep in mind that 'r' variable representing list of all effects is
--- hidden behind rank-2 type --- use 'Members' instead if you need access to it.)
-infixr 1 >@>
-type es >@> a = ∀ r. Members r es => Sem r a
-
-
 ------------------------------------------------------------------------------
 -- | Like 'runSem' but flipped for better ergonomics sometimes.
 usingSem