Michael Pilquist

Hygiene problems when ops-eligible methods refer to type members of type class

1

Some examples: ``` scala // Fails to compile @typeclass trait F[A] { self => type B = A def f(a: A): Option[B] } // Fails to compile @typeclass trait G[A]...

Add support for type classes that abstract over type constructors of 2 type params

10

E.g., bifunctors, profunctors, arrows

Document how to create a custom subclass of @typeclass annotation that specifies project specific settings

1

Note: implementation of annotation filtering needs to be modified so that we can remove subtypes of simulacrum annotations.

Tuple.IsMappedBy should provide inductive instances

4

## minimized code ```Scala def isMappedByShouldBeInductive1[F[_], A, B

Shadows implicits defined in the same scope, using @milessabin's suggestion.

2

Review by @milessabin and @non

Depends on https://github.com/typelevel/cats/issues/4587.

DatagramSocket read stalls on JVM

2

I was looking in to the intermittent test failures in #3376 and seemed to have found a bug in our support for UDP on the JVM. Consider the following application,...

Need both: - Cats 2.11.0: https://github.com/typelevel/cats/pull/4585 - Shapeless 2.4.0: https://github.com/milessabin/shapeless/issues/1355