Sir Wabbit

For future docs: # Syntax extension inlining Consider the following snippet: ```scala implicit def eqList[A](implicit A: Eq[A]): Eq[List[A]] = new Eq[A] { ... } implicit class EqOps[A](value: A) { def...

Here is how I think the encoding should look like: ```scala import scala.reflect.ClassTag object Test { def foo[A: ClassTag](l: List[A]): List[A] = ST.runST(new ForallST[List[A]] { def apply[S]: ST[S, List[A]] =...

The only remaining case is ```scala object A { val a = new C // not a refinement } class C { def foo[A]: Foo[A] = ... } ```

PRs are always welcome :smiley:

Sorry I didn't leave more detailed comments back then 😅. If I were to guess, it was literally any usage (`F[?]` or `Lambda[x => ...]`) of the plugin in combination...

I had the same problem while porting regions to my own `IO` library. `idLiftControl` [should `_.map(pure)`](https://github.com/alexknvl/sio/blob/master/core/src/main/scala/sio/core/instances/IOInstances.scala#L24-L26) instead of just [wrapping with `pure`](https://github.com/scalaz/scalaz/blob/0f690234c95948e3f3760b1ae30f77930915316e/effect/src/main/scala/scalaz/effect/IO.scala#L248). I remember understanding _why_ it should do that...