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