Over_monad.Req
type ('a, 'index) t = ('a, 'index) Monad.t
The type held by the Indexed Monad Plus.
Indexed Monad Plus
val combine : ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t
Combine two values of t into one.
t
val neutral : ('a, 'index) t
The neutral element of the t.