Where is there documentation for rebindable syntax for monads with class
constraints:
(>>=) :: (Foo m, Baz a) => m a -> (a -> m b) -> m b
http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/9447/match=syntax
The users guide seems to disallow such type signatures:
http://haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#rebindable-syntax
Jim
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users