Module type Extended_monad.S2

module type S2 = sig .. end

include Core.Monad.S2

val map_monad : 'a list -> f:('a -> ('b, 'c) t) -> ('b list, 'c) t

val map_monad_ignore : 'a list -> f:('a -> (unit, 'b) t) -> (unit, 'b) t