Rebindable monads?

Jim Apple japple at
Sat Nov 26 15:21:08 EST 2005

Where is there documentation for rebindable syntax for monads with class 

(>>=) :: (Foo m, Baz a) => m a -> (a -> m b) -> m b

The users guide seems to disallow such type signatures:


More information about the Glasgow-haskell-users mailing list