タプルの開梱は、Scalaのパラメーターリストで直接サポートされますか？

Question

Haskellで書くことができます：

x :: (Int,Int) -> Int
x (p,s) = p

Scalaでは、次のように書くでしょう。

def x(a: (Int, Int)) = a._1

また：

def x(a: (Int, Int)) = a match {
    case (p, s) => p
}

何のようなものを持ってみませんか

def x(_: (p: Int, s: Int)) = p

また

def x(foo: (p @ Int, s @ Int)) = p

?