In scala, how to make type class working for Aux pattern?

Question

Here is a simple example:

  trait Base {

    type Out
    def v: Out
  }

  object Base {

    type Aux[T] = Base { typ