module type S = sig .. end
sig
end
include Core.Monad.S
val map_monad : 'a list -> f:('a -> 'b t) -> 'b list t
'a list -> f:('a -> 'b t) -> 'b list t
val map_monad_ignore : 'a list -> f:('a -> unit t) -> unit t
'a list -> f:('a -> unit t) -> unit t