/* The following code should provide a view from List[A] to List[B], provided A <% B. */

object Main with Application {

  def view[B, A <% B](l: List[A]): List[B] = l match {
    case Nil => Nil;
    case x :: xs => (x: B) :: Main.this.view(xs);
  }
}