RequestResolver doesn't infer/propagate E and R anymore compared to v3, so the implementation requires to be one of:R and E as never, but if implementation has specific errors or requirements (eg: Database), this fails at type levelEffect.provide to the resolver to satisfy R, but if the Layer has E or R, this fails at type level in the resolver