Hi Mark,

RebindableSyntax uses whatever (>>), (>>=) and return are in scope. So
if you bind them in a `let` or `where`, you should be able to use
different ones for different do blocks.

Erik

On Mon, Jun 22, 2015 at 8:39 PM, Mark Roberts
<markandrusroberts@gmail.com> wrote:
> I have a program that uses both monads and indexed monads, and I'd like to
> use do-notation for each in the same source file. Is there a way to rebind
> syntax for only the do blocks that make use of an indexed monad?
>
> Thanks,
> Mark
>

> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>