
  0 | ||| Provide Do-Notation support for Indexed Monad. Withouth this, the Indexed interfaces use
  1 | ||| operators that do not collide with the non-Indexed interfaces.
  2 | module Control.Monad.Indexed.Do
  3 | 
  4 | import Control.Monad.Indexed
  5 | 
  6 | namespace Indexed
  7 |   public export
  8 |   (>>=) : IndexedMonad z m => m a i j -> (a -> m b j k) -> m b i k
  9 |   (>>=) = (>>>=)
 10 | 
 11 |   public export
 12 |   (>>) : IndexedMonad z m => m () i j -> Lazy (m b j k) -> m b i k
 13 |   (>>) = (>>>)
 14 | 
 15 |