X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FArrow.hs;h=20e367799f800033782b6043d56cc1fbde54d9ce;hb=8073392a94dc5ab198e4758d6738a0c7f5ed68cf;hp=0d983aba166c5834e599b7e06919caef965637c4;hpb=1afc0719ba8488cbe3d5490c7e29abc7425a6bae;p=ghc-base.git

diff --git a/Control/Arrow.hs b/Control/Arrow.hs
index 0d983ab..20e3677 100644
--- 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))