final class MiniSome[T](val get: T) extends AnyVal { def isEmpty = false }

package p1 {
  class Triple(val x: Any) extends AnyRef with Product3[String, String, String] {
    private def s = "" + x
    override def canEqual(x: Any) = this eq x.asInstanceOf[AnyRef]
    def isEmpty = false
    def get = this
    def _1 = s
    def _2 = "2 " + s + "s! A ha ha!"
    def _3 = "3 " + s + "s! A ha ha!"

    override def toString = s"Triple(${_1}, ${_2}, ${_3})"
  }

  object Triple {
    def unapply(x: Any): Triple = new Triple(x)
  }
}

package p2 {
  class Triple(val x: Any) {
    private def s = "" + x
    def isEmpty = false
    def get = this
    def _1 = s
    def _2 = "2 " + s + "s! A ha ha!"
    def _3 = "3 " + s + "s! A ha ha!"
    override def toString = s"Triple(${_1}, ${_2}, ${_3})"
  }

  object Triple {
    def unapply(x: Any): Triple = new Triple(x)
  }
}

package p3 {
  case class Foo(x: Int, y: Int, zs: Int*)

  object Bar {
    def f(x: Foo) = x match {
      case Foo(5, 10, 15, 20, _*) => 1
      case Foo(5, 10, 15, _*)     => 2
      case Foo(5, 10, _*)         => 3
      case Foo(5, 10)             => 4 // should warn unreachable
      case _                      => 5
    }
  }
}

object Test {

  // def f(x: Any) = x match {
  //   case p1.Foo(x, y, z) => println((x, y, z))
  //   case x               => println(x)
  // }

  def main(args: Array[String]): Unit = {
    "catdog" match {
      case p1.Triple(x, y, z) => List(x, y, z) foreach println
      case x                  => println("fail: " + x)
    }
    // TODO
    "catdog" match {
      case p2.Triple(x, y, z) => List(x, y, z) foreach println
      case x                  => println("fail: " + x)
    }

    println(p3.Bar.f(p3.Foo(5, 10, 15, 20, 25)))
    println(p3.Bar.f(p3.Foo(5, 10, 15, 20)))
    println(p3.Bar.f(p3.Foo(5, 10, 15)))
    println(p3.Bar.f(p3.Foo(5, 10)))
    // println(p3.Bar.f(p3.Foo(5)))
  }
}