## Compiler version 3.0.0-RC1 ## Minimized code ```Scala case class Baz[F[_], G[_]](f: [B] => F[B] => G[B]) ``` ## Output ```scala Found: (Baz.this.f : PolyFunction{apply: [B](x$1: F[B]): G[B]}) Required: PolyFunction{apply: [B](x$1: <?>): <?>} ```