Monad.Of_monad_indexed
The same as S
except the monad type has three arguments. The second and third are composed across all computation.
module M : sig ... end
module Let_syntax : sig ... end
module Monad_infix : sig ... end
Same as Infix
, except the monad type has three arguments. The second and third are composed across all computation.
val return : 'a -> ('a, 'i, 'i) M.t