Twiddle_update.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 t -> 'a t M.t