Functor Extended_monad.Make2

module Make2: 
functor (M : Core.Monad.Basic2) -> sig .. end
Parameters:
M : Core.Monad.Basic2

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