Monad_infix (base.Base.Monad.Make_indexed.Monad

val (>>=) : 
  ( 'a, 'i, 'j ) X.t ->
  ( 'a -> ( 'b, 'j, 'k ) X.t ) ->
  ( 'b, 'i, 'k ) X.t

val (>>|) : ( 'a, 'i, 'j ) X.t -> ( 'a -> 'b ) -> ( 'b, 'i, 'j ) X.t