Over_monad.Req
type 'a t = 'a Monad.t
The type held by the Monad_plus.
Monad_plus
val combine : 'a t -> 'a t -> 'a t
Combine two values of t into one.
t
val neutral : 'a t
The neutral element of the t.