Monad.Make_indexed
The same as S
except the monad type has three arguments. The second and third are composed across all computation.
module X : Basic_indexed
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) X.t