diff --git a/Control/Arrow/Unicode.hs b/Control/Arrow/Unicode.hs
--- a/Control/Arrow/Unicode.hs
+++ b/Control/Arrow/Unicode.hs
@@ -58,7 +58,7 @@
 
 U+2042, ASTERISM
 -}
-(⁂) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (α, α') ⇝ (β, β')
+(⁂) ∷ Arrow a ⇒ a α β → a α' β' → a (α, α') (β, β')
 (⁂) = (***)
 {-# INLINE (⁂) #-}
 #endif
@@ -68,7 +68,7 @@
 
 U+29FB, TRIPLE PLUS
 -}
-(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β')
+(⧻) ∷ ArrowChoice a ⇒ a α β → a α' β' → a (Either α α') (Either β β')
 (⧻) = (+++)
 {-# INLINE (⧻) #-}
 
@@ -77,7 +77,7 @@
 
 U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION
 -}
-(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ)
+(⫴) ∷ ArrowChoice a ⇒ a α δ → a β δ → a (Either α β) δ
 (⫴) = (|||)
 {-# INLINE (⫴) #-}
 
@@ -87,7 +87,7 @@
 
 U+22D9, VERY MUCH GREATER-THAN
 -}
-(⋙) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)
+(⋙) ∷ Arrow a ⇒ a α β → a β γ → a α γ
 (⋙) = (>>>)
 {-# INLINE (⋙) #-}
 
@@ -96,7 +96,7 @@
 
 U+22D8, VERY MUCH LESS-THAN
 -}
-(⋘) ∷ Arrow (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
+(⋘) ∷ Arrow a ⇒ a β γ → a α β → a α γ
 (⋘) = (<<<)
 {-# INLINE (⋘) #-}
 #endif
diff --git a/Control/Category/Unicode.hs b/Control/Category/Unicode.hs
--- a/Control/Category/Unicode.hs
+++ b/Control/Category/Unicode.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
 {-|
 Module     : Control.Category.Unicode
@@ -35,7 +35,7 @@
 
 U+2218, RING OPERATOR
 -}
-(∘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
+(∘) ∷ Category c ⇒ c β γ → c α β → c α γ
 (∘) = (.)
 {-# INLINE (∘) #-}
 
@@ -44,7 +44,7 @@
 
 U+22D9, VERY MUCH GREATER-THAN
 -}
-(⋙) ∷ Category (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)
+(⋙) ∷ Category c ⇒ c α β → c β γ → c α γ
 (⋙) = (>>>)
 {-# INLINE (⋙) #-}
 
@@ -53,6 +53,6 @@
 
 U+22D8, VERY MUCH LESS-THAN
 -}
-(⋘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
+(⋘) ∷ Category c ⇒ c β γ → c α β → c α γ
 (⋘) = (<<<)
 {-# INLINE (⋘) #-}
diff --git a/base-unicode-symbols.cabal b/base-unicode-symbols.cabal
--- a/base-unicode-symbols.cabal
+++ b/base-unicode-symbols.cabal
@@ -1,5 +1,5 @@
 name:          base-unicode-symbols
-version:       0.2.2.3
+version:       0.2.2.4
 cabal-version: >=1.6
 build-type:    Simple
 stability:     provisional
@@ -45,7 +45,7 @@
   if flag(old-base)
     build-depends: base >= 3.0 && < 3.0.3.1
   else
-    build-depends: base >= 3.0.3.1 && < 4.6
+    build-depends: base >= 3.0.3.1 && < 5
     exposed-modules: Control.Category.Unicode
   exposed-modules: Control.Applicative.Unicode
                  , Control.Arrow.Unicode