@ instance: type not found about auxify HOT 1 OPEN

def instance[T1, T2, T0$macro$1](f$macro$2: _root_.scala.Function2[T1, T2, Out]): Compare[T1, T2] {
      type T = T0$macro$1
    }

  def instance[T1, T2, T0](f: (T1, T2) => (T0, T0)): Aux[T1, T2, T0] = new Compare[T1, T2] {
    override type T = T0
    override def apply(a: T1, b: T2): Out = f(a, b)
  }