John A. De Goes

The SLF4J bridge needs to be created in the 2.0 branch. Hopefully this ticket can incorporated into the redesign.

We need a whole microsite, as well as documentation!

This is still relevant to `zio.logging.internal.FileWriter`.

This should be implemented as a `RuntimeConfigAspect` which calls `RuntimeConfigAspect.addLogger`, following the pattern laid down in `zio.logging` package object. Any volunteers for this ticket?

I think I'd rather handle this with a "subcategory" Traverse, which could include arbitrary constraints on the types.

Very nice. Any troubles you ran into?

There is a more powerful `EqualF`: ```scala trait EqualSubset[F[_], Subset[_]] { def derive[A: Subset](l: F[A], r: F[A]): Equal[F[A]] } ``` Such that you can say, `EqualSubset[Ord, * => Equal[A] &...

@adamgfraser I think also we should move all the laws into ZIO Prelude. They're basically ZIO Prelude laws, anyway.

I don't think this is really necessary, since ZIO Prelude can directly encode introspectable monads, which generalize selective functors.

Couldn't hurt to add that if we package it up nicely, in fact maybe a general data type for such things.