@hackage indexed-do-notation0.1

Do notation for indexed monads

A quasiquoter of indexed do notation. The only thing you have to do is to enclose an ordinary do notation in [ido|...|].