<div dir="ltr"><div><div>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?<br><br></div>Thanks,<br></div>Mark<br></div>