gistfile1.scala

trait Imp[T] {}

object Imp { 
  implicit val i = new Imp[Int] {}
}

import Imp._

trait F { 
  type T
  def imp = implicitly[Imp[T]]
}

object Bar extends F { 
  type T = Int
}