From d826cf803e511309cde5200a61b29df27efcd756 Mon Sep 17 00:00:00 2001 From: Harry Garrood Date: Fri, 1 May 2015 20:33:49 +0100 Subject: [PATCH] Revert "Revert "Relax constraint on (>>=)"" --- src/Prelude.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Prelude.purs b/src/Prelude.purs index 8b73f4ad..4ee7bbb0 100644 --- a/src/Prelude.purs +++ b/src/Prelude.purs @@ -349,7 +349,7 @@ foreign import arrayBind } """ :: forall a b. Array a -> (a -> Array b) -> Array b -(>>=) :: forall m a b. (Monad m) => m a -> (a -> m b) -> m b +(>>=) :: forall m a b. (Bind m) => m a -> (a -> m b) -> m b (>>=) = bind -- | The `Monad` type class combines the operations of the `Bind` and