Ondra Pelech

But don't get discouraged @roald-di , we're always welcoming to new contributors and there's still sooo much cool stuff to work on in ZIO Prelude. You can have a look...

Thanks John for looking at this! If we look at [`DistributiveMultiply`](https://github.com/sideeffffect/zio-prelude/blob/ring/src/main/scala/zio/prelude/DistributiveMultiply.scala), we can see that it this will indeed be the most useful type class for most users' needs. But...

I've reworked the proposal a bit, can you @jdegoes have another look, please? One can start by having a look at the diagram (linked in the PR description). Now, there...

I've implemented the `PartialInverse`. I will need more time to think through and implement the other ideas you guys have suggested. Hopefully I will have more time to spend on...

I have greatly simplified this and implemented `DistributiveMultiply` as the top of the hierarchy.

@jdegoes can you please give this another look? Me and @adamgfraser have come up with a simplified approach to this. The algebraic structures, like Ring, are not reified, we only...

I can imagine you guys are super busy with ZIO 2 right now, but is there something I can do to help this move forward? @jdegoes @adamgfraser

Unfortunately, for this Ring-like thing to work, `PartialInverse` is necessary and that needs to live in `core`. Do you have concerns about any particular change in `core` that I could...

`unzip` could work on a mere `Covariant`, since you just need a `map`, right? If `collect` is possible, then :+1:

great, thanks! btw there seems to be a ticket for this already: https://github.com/tpolecat/tut/issues/103