gistfile1.txt

scala> trait Foo[A] {
     |   type Bar
     |   def bar: Bar
     | 
     |   type Qux
     |   def qux: Qux
     | }
defined trait Foo

scala> object IntHasFoo extends Foo[Int] {
     |   type Bar = Long
     |   def bar = 999L
     |   type Qux = Double
     |   def qux = 9.99
     | }
defined module IntHasFoo

scala> IntHasFoo.bar
res0: Long = 999

scala> def blah[A](a:A)(implicit ev:Foo[A]) = (a, ev.bar, ev.qux)
<console>:8: error: illegal dependent method type
       def blah[A](a:A)(implicit ev:Foo[A]) = (a, ev.bar, ev.qux)
                                 ^