Covariance in `R` for Effect Library

gambaru · 2024-12-11T06:36:04.999Z

Why is Effect covariant in `R`? Effect is inspired by ZIO and I thought [one of the major innovations of ZIO](https://degoes.net/articles/zio-history) was contravariance in dep injection. I'm imagining an `Effect ` is something akin to `(dep: R) => [A,E]` which should be contravariant in `R` as a func param