Module type Extended_monad.S

module type S = sig .. end

include Core.Monad.S

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

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