John A. De Goes

@julien-truffaut Happy to help! On miscellaneous other things I got too busy to respond to: 1. **Sealed vs unsealed**. If inheritance is going to be used at all — and...

@julien-truffaut Variance should not decrease type inference and could in some cases help; probably to achieve significant improvement (i.e. full inference in things like fields), it would be necessary to...

> I haven't seen a single example of polymorphic optics having better type inference. Variance will not improve type inference for monomorphic optics, because they become invariant, but it should...

The smallest / simplest possible type class that has the same expressive power as `Applicative`: ```scala trait Zippable[F[_]] { def succeedUnit: F[Unit] def zipWith[A, B, C](l: F[A], r: F[B])(f: (A,...

I don't have any thoughts here, maybe @paf31, @garyb, @cryogenian have some ideas?

@lukestephenson I agree we may need to be pragmatic here to meet performance requirements. @adamgfraser is working on some general performance improvements that may minimize the need for being eager...

These all moved over to _ZIO Concurrent_. Please re-open there if you have the time and interest. Thanks for your work on this! 🙏

@TobiasPfeifer @regiskuckaertz Will close for now, please re-open in ZIO Concurrent. Thank you!

@Edvin-san This has bit-rotted, so will close for now. Note that ZIO 2 has some bitwise operations already, although they could be improved. Please re-open if you want to extend...

@tewecske This code no longer compiles. Please re-open if you get a chance to update it!