Module Foldable.Monad

Parameters

Signature

module I : sig ... end
val fold_monad : ('a -> 'b -> 'a M.t) -> 'a -> 'b F.t -> 'a M.t