+++ /dev/null
---- base-unicode-symbols-0.2.2.3-orig/Control/Arrow/Unicode.hs 2011-12-17 22:21:02.000000000 +1100
-+++ base-unicode-symbols-0.2.2.3/Control/Arrow/Unicode.hs 2012-05-14 00:13:42.547126948 +1000
-@@ -1,4 +1,4 @@
--{-# LANGUAGE CPP, NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}
-+{-# LANGUAGE CPP, NoImplicitPrelude, UnicodeSyntax, TypeOperators, FlexibleContexts #-}
-
- {-|
- Module : Control.Arrow.Unicode
-@@ -58,7 +58,7 @@
-
- U+2042, ASTERISM
- -}
--(⁂) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (α, α') ⇝ (β, β')
-+(⁂) ∷ Arrow (->) ⇒ (α -> β) → (α' -> β') → (α, α') -> (β, β')
- (⁂) = (***)
- {-# INLINE (⁂) #-}
- #endif
-@@ -68,7 +68,7 @@
-
- U+29FB, TRIPLE PLUS
- -}
--(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β')
-+(⧻) ∷ ArrowChoice (->) ⇒ (α -> β) → (α' -> β') → (Either α α' -> Either β β')
- (⧻) = (+++)
- {-# INLINE (⧻) #-}
-
-@@ -77,7 +77,7 @@
-
- U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION
- -}
--(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ)
-+(⫴) ∷ ArrowChoice (->) ⇒ (α -> δ) → (β -> δ) → (Either α β -> δ)
- (⫴) = (|||)
- {-# INLINE (⫴) #-}
-
-@@ -87,7 +87,7 @@
-
- U+22D9, VERY MUCH GREATER-THAN
- -}
--(⋙) ∷ Arrow (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)
-+(⋙) ∷ Arrow (->) ⇒ (α -> β) → (β -> γ) → (α -> γ)
- (⋙) = (>>>)
- {-# INLINE (⋙) #-}
-
-@@ -96,7 +96,7 @@
-
- U+22D8, VERY MUCH LESS-THAN
- -}
--(⋘) ∷ Arrow (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
-+(⋘) ∷ Arrow (->) ⇒ (β -> γ) → (α -> β) → (α -> γ)
- (⋘) = (<<<)
- {-# INLINE (⋘) #-}
- #endif
---- base-unicode-symbols-0.2.2.3-orig/Control/Category/Unicode.hs 2011-12-17 22:21:02.000000000 +1100
-+++ base-unicode-symbols-0.2.2.3/Control/Category/Unicode.hs 2012-05-14 00:13:19.067598372 +1000
-@@ -1,4 +1,4 @@
--{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}
-+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators, FlexibleContexts #-}
-
- {-|
- Module : Control.Category.Unicode
-@@ -35,7 +35,7 @@
-
- U+2218, RING OPERATOR
- -}
--(∘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
-+(∘) ∷ Category (->) ⇒ (β -> γ) → (α -> β) → (α -> γ)
- (∘) = (.)
- {-# INLINE (∘) #-}
-
-@@ -44,7 +44,7 @@
-
- U+22D9, VERY MUCH GREATER-THAN
- -}
--(⋙) ∷ Category (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)
-+(⋙) ∷ Category (->) ⇒ (α -> β) → (β -> γ) → (α -> γ)
- (⋙) = (>>>)
- {-# INLINE (⋙) #-}
-
-@@ -53,6 +53,6 @@
-
- U+22D8, VERY MUCH LESS-THAN
- -}
--(⋘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
-+(⋘) ∷ Category (->) ⇒ (β -> γ) → (α -> β) → (α -> γ)
- (⋘) = (<<<)
- {-# INLINE (⋘) #-}