vincent1.scala:7: type x.type escapes its defining scope as part of test.B with {type T = x.T}
  def functor(x: A): B with { type T = x.T } =
                     ^
one error found