As discussed on Gitter, this PR adds a provideM method on ZIO and ZStream that provides all of the required environment to an effect where the act of creating the environment itself requires an effect. This can already be accomplished using flatMap and then provide or provideSomeM but I think this is a nice convenience method. Using flatMap and then provide can sometimes generate spurious warnings about types being inferred as Any. And while provideSomeM works, the name doesn't make clear that you can or are providing the whole environment and the compiler won't enforce that the whole environment has been provided.

Overall I think understanding how to work with the environment parameter is one of the harder things for newcomers so we should make it as easy as possible.