Cats' Ask and Local without ZEnvironment

[coffius]

No description provided.

[coffius]

It is possible to have both versions of Ask and Local by adding

  implicit def zioZEnvLocal[R, E](implicit ev: Applicative[ZIO[R, E, _]]): Local[ZIO[R, E, _], ZEnvironment[R]] =
    new Local[ZIO[R, E, _], ZEnvironment[R]] {
      override def applicative: Applicative[ZIO[R, E, _]] = ev

      override def ask[E2 >: ZEnvironment[R]]: ZIO[R, E, E2] = ZIO.environment

      override def local[A](fa: ZIO[R, E, A])(f: ZEnvironment[R] => ZEnvironment[R]): ZIO[R, E, A] =
        fa.provideSomeEnvironment(f)(InteropTracer.newTrace(f))
    }

  implicit def zioZEnvAsk[R1, R <: R1, E](implicit ev: Applicative[ZIO[R, E, _]]): Ask[ZIO[R, E, _], ZEnvironment[R1]] =
    new Ask[ZIO[R, E, _], ZEnvironment[R1]] {
      override def applicative: Applicative[ZIO[R, E, _]] = ev

      override def ask[R2 >: ZEnvironment[R1]]: ZIO[R, E, R2] = ZIO.environment
    }

[neko-kai]

@coffius
Yes, we should have both. Could you please add back the old instances, placed in a low priority supertype?

[coffius]

@neko-kai, all fixed