trait Space {
  type T
  val x: T
}

trait Extractor {
  def extract(s: Space): s.T
}

class Sub extends Extractor {
  def extract(ss: Space) = ss.x
}