Processing code for path-dependent types post.

path-types-process.scala

def fetch[T](req: WebRequest[T]): Result[T]

def process(need: Need) {
  val req = need.request
  val res = fetch(req)
  // now we save the data
  res match {
    case Good(data) => need.save(store, data)
    /* error cases */
  }
}