Functor Extended_monad.Make2

module Make2: 
functor (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