object Test with Application {

  class Type;
  case class A() extends Type;
  case class B() extends Type;
  case class C() extends Type;

  def foo(x: Type, y: Type) = Pair(x, y) match {
    case Pair(A(), A()) 
       | Pair(A(), B()) 
       | Pair(B(), A()) 
       | Pair(B(), B()) =>
      System.out.println("3")
    case Pair(C(), C()) =>
      System.out.println("4")
    case Pair(A(), _)
       | Pair(B(), _) =>
      System.out.println("7")
    case _ =>
      System.out.println("8")
  }

  foo(A(), C())
}