import scala.reflect.macros.{Context => Ctx}

object Impls {
  def foo[U](c: Ctx)(U: c.universe.Type) = ???
}