Remove datatype contexts from base

[ghc-base.git] / Control / Arrow.hs

diff --git a/Control/Arrow.hs b/Control/Arrow.hs
index 0d983ab..20e3677 100644 (file)
--- a/Control/Arrow.hs
+++ b/Control/Arrow.hs
@@ -249,7 +249,7 @@ instance Monad m => ArrowApply (Kleisli m) where
 -- | The 'ArrowApply' class is equivalent to 'Monad': any monad gives rise
 --   to a 'Kleisli' arrow, and any instance of 'ArrowApply' defines a monad.
 
-newtype ArrowApply a => ArrowMonad a b = ArrowMonad (a () b)
+newtype ArrowMonad a b = ArrowMonad (a () b)
 
 instance ArrowApply a => Monad (ArrowMonad a) where
     return x = ArrowMonad (arr (\_ -> x))