Make.All
Similar to Monad.all for lists -- combine and lift the monads to outside the interface.
Monad.all
module M : Base.Monad.S
val all : 'a M.t X.t -> 'a X.t M.t