Adam Fraser

Yes, when we were putting the library together we did not include `Foldable` because it did not have meaningful laws but agree it would be good to think about how...

I think ZIO Prelude Laws could be a logic place for this since it already depends on both ZIO Prelude and ZIO Test and provides other relevant functionality that requires...

@rnd4222 Thanks for raising! This is definitely something we have thought about it since it is the approach that other functional programming libraries have taken. However, I don't think it...

That is certainly a possibility. I think the practical implications are: 1. Users need to a do a third import to get all the instances. 2. Smart type functionality out...

That is possible. The assertions themselves actually do have a reason to depend on ZIO because they describe both effectual and pure assertions. Of course you could split that but...

Personally I view this as a non-goal. While certainly possible, this would have the following disadvantages: 1. All instances For ZIO data types would become orphan instances, since they could...

I think this amounts to the same issues discussed above. It depends a little bit on what the scope is, but to the extent that type classes definitions don't depend...

@vakkadar Thanks for raising this issue! One important thing to keep in mind here is that since `Commutative` extends `Associative` we have a way to describe two kinds of operations:...

@vakkadar Thanks for pointing that out! I responded to your original post so I don't think I would have seen your update otherwise. That is an interesting example with the...

I think it reduces the accessibility of the library. Kind projector or not we need to be doing everything possible to avoid end users having to interact with partially applied...