Functor Extended_monad.Make2

module Make2 (M : Core.Monad.Basic2) : sig .. end

include struct ... end

val map_monad : 'a Extended_monad.List.t -> f:('a -> ('b, 'c) M.t) -> ('b list, 'c) M.t

val map_monad_ignore : 'a Extended_monad.List.t -> f:('a -> (unit, 'b) M.t) -> (unit, 'b) M.t