Module type `Monad.Infix_indexed`

Infix operators for monads with index type parameters.

type ('a, 'i, 'j) t

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

Infix bind.

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

Infix map.

Module type Monad.Infix_indexed