# indexed-do-notation: Do notation for indexed monads

[ bsd3, language, library ] [ Propose Tags ]

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

[Index]